coq - The formal proof system

Age	Commit message (Expand)	Author
2014-06-25	cut toploop(s) out of coqtop: now they are loaded dynamically	Enrico Tassi
2014-06-07	Adding a new Control file centralizing the control options of Coq.	Pierre-Marie Pédrot
2014-03-12	Stm: smarter delegation policy	Enrico Tassi
2014-03-05	Remove some dead-code (thanks to ocaml warnings)	Pierre Letouzey
2014-01-30	STM + CoqIDE: stop_worker message and UI	Enrico Tassi
2014-01-30	Work around for bug in threads + blocking io streamlined	Enrico Tassi
2014-01-26	CoqIDE: ported to spawn	Enrico Tassi
2013-12-10	Fix CoqIDE on windows	Enrico Tassi
2013-11-27	Old message Interp returns the state id so that one can BackTo it	Enrico Tassi
2013-11-27	First stab at retrocompatible INTERP message	Enrico Tassi
2013-11-02	Adds a tactic give_up.	aspiwack
2013-11-02	Adds a shelve tactic.	aspiwack
2013-10-11	More comments in ide_slave	gareuselesinge
2013-09-30	CoqIDE ported to the revides protocol	gareuselesinge
2013-09-27	Removing a bunch of generic equalities.	ppedrot
2013-09-18	At least made the evar type opaque! There are still 5 remaining unsafe	ppedrot
2013-09-03	Partly replacing list-based access functions in Evd. This is still	ppedrot
2013-08-19	Modulification and removing of structural equality in Stateid.	ppedrot
2013-08-08	Coqide ported to STM	gareuselesinge
2013-08-08	State Transaction Machine	gareuselesinge
2013-05-06	New module Xml_printer (dual to Xml_parser)	gareuselesinge
2013-04-29	Splitting Term into five unrelated interfaces:	ppedrot
2013-04-25	raise UnsafeSuccess -> feedback AddedAxiom	gareuselesinge
2013-04-25	Coqide: new feedback mechanism for structured content	gareuselesinge
2013-04-19	interface.mli and serialize.ml reworked to avoid copy/paste of types	gareuselesinge
2013-04-15	More functional implementation of locality_flag and program_mode	gareuselesinge
2013-03-26	Moved the Loadpath part of Library to its own file, and documented	ppedrot
2013-03-13	Vernac+Toplevel: get rid of Error_in_file	letouzey
2013-03-13	Vernac+Toplevel: get rid of DuringVernacInterp	letouzey
2013-03-13	Restrict (try...with...) to avoid catching critical exn (part 13)	letouzey
2013-02-19	Dir_path --> DirPath	letouzey
2013-02-18	Removing Exc_located and using the new exception enrichement	ppedrot
2012-12-17	Ide_slave: do not prepare debug messages in non-debug mode	letouzey
2012-12-14	Modulification of dir_path	ppedrot
2012-12-14	Modulification of identifier	ppedrot
2012-12-04	Removed Compat.Exc_located outside of compat.ml4, as a consequence of	herbelin
2012-11-26	Monomorphization (toplevel)	ppedrot
2012-11-12	Ide_slave: do not attempt to answer broken requests	letouzey
2012-11-12	Xml_parser: detect immediate EOF + disable check_eof by default	letouzey
2012-10-23	Text inserted by insert_this_phrase_on_success correct tagging	pboutill
2012-10-04	Moved Compat to parsing. This permits to break the dependency of the	ppedrot
2012-09-14	Partial revert of Yann commit in order to use CLib.List when opening	ppedrot
2012-09-14	This patch removes unused "open" (automatically generated from	regisgia
2012-08-08	Updating headers.	herbelin
2012-07-20	Let coqtop be a little more stupid in hint answer: otherwise, that	ppedrot
2012-07-12	A new status Unsafe in Interface. Meant for commands such as Admitted.	aspiwack
2012-07-10	Adapting the IDE interface with the focussed display.	ppedrot
2012-07-09	Moved code out of ide_slave in a more appropriate place.	ppedrot
2012-06-29	Various small display improvement	ppedrot
2012-06-29	Small improvement to ide_slave, which was going crazy whenever	ppedrot