The Coq mailing list

[Vilius Naudziunas <vn229 AT cam.ac.uk>]

Hi,

I am trying to load the source code of coq compiled into libraries
(usually placed at /usr/local/lib/coq) into my own ocaml project for my
research. I would like to use coq as a separate part of my project
rather than building a plugin to /contrib directory. I couldn't find any
documentation of coq code libraries. From other parts of coq code I
assume that starting steps would be to do

 let _ = Lib.init()
 let _ = Coqinit.init_load_path ()

to initialise coq. However I get an exception

 Fatal error: exception Util.Anomaly("Genarg.create: already declared   
generic argument tactic0", _)

Could you tell me what functions and in what sequence should I call to
initialise and use coq?

The main things I need are to execute Venacular commands and to
observe state of environment (get definitions and their bodies).

Many thanks,
Vilius