coq - The formal proof system

Age	Commit message (Expand)	Author
2014-07-01	More informative message when Mltop.load_object fails.	Hugo Herbelin
2014-06-25	cut toploop(s) out of coqtop: now they are loaded dynamically	Enrico Tassi
2014-05-12	Adding the possibility for ML modules to declare functions to be called at	Pierre-Marie Pédrot
2014-04-09	Revert "Revert part of eba6b75 as coq_makefile ignores -I if it overlaps with...	Pierre Boutillier
2014-04-08	Add an option -Q (tentative name).	Guillaume Melquiond
2014-04-07	Revert part of eba6b75 as coq_makefile ignores -I if it overlaps with -R. (Fi...	Guillaume Melquiond
2014-04-06	Change handling of loadpath and mlpath.	Guillaume Melquiond
2014-01-30	Mltop: explicitly qualify calls to CUnix	Pierre Letouzey
2014-01-13	Declared ML Module are not uncapitalized/capitalized/uncapitalized/...	Pierre Boutillier
2013-08-30	summary for ML modules made correct	gareuselesinge
2013-08-02	Small typo in Print Debug GC	ppedrot
2013-08-01	Added a Print Debug GC command that displays the current state of	ppedrot
2013-05-08	Uniformizing the [if_warn] flag used for warning printing and put	ppedrot
2013-05-06	States: frozen states can hold closures	gareuselesinge
2013-03-26	Moved the Loadpath part of Library to its own file, and documented	ppedrot
2013-03-13	Restrict (try...with...) to avoid catching critical exn (part 13)	letouzey
2013-03-05	More monomorphization.	ppedrot
2013-02-19	Dir_path --> DirPath	letouzey
2013-02-18	Updating the backtrace handling mechanism to accomodate the new	ppedrot
2013-02-18	use List.rev_map whenever possible	letouzey
2013-01-28	Actually adding backtrace handling.	ppedrot
2013-01-28	Added backtrace information to anomalies	ppedrot
2013-01-22	New implementation of the conversion test, using normalization by evaluation to	mdenes
2012-12-14	Modulification of dir_path	ppedrot
2012-12-14	Modulification of identifier	ppedrot
2012-12-14	Moved Stringset and Stringmap to String namespace.	ppedrot
2012-12-04	Low-level hack to get some more informative message from dynamic loading errors.	herbelin
2012-11-26	Monomorphization (toplevel)	ppedrot
2012-10-14	When loading a plugin, prefer .cma to .cmo	gareuselesinge
2012-10-06	Turn mltop.ml4 into a regular ocaml file	letouzey
1999-12-03	compilation native	filliatr
1999-12-01	module Metasyntax	filliatr
1999-12-01	portage Vernacentries (debut)	filliatr
1999-11-24	Vernacinterp et Vernacentries (partiellement)	filliatr
1999-09-28	retablissement du toplevel	filliatr