coq - The formal proof system

Age	Commit message (Expand)	Author
2010-05-04	- Fixing bug #2308 about Lemma ... with	vsiles
2010-05-03	ocamldoc related fixes	pboutill
2010-04-30	Fail: a way to check that a command is refused without blocking a script	letouzey
2010-04-29	"make source-doc" builds documentation of mli in html and pdf at	pboutill
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2010-04-28	Dont recompute the contents of the proof window when entering the	vgross
2010-04-22	Here comes the commit, announced long ago, of the new tactic engine.	aspiwack
2010-04-16	Util: remove list_split_at which is a clone of list_chop	letouzey
2010-04-05	Changement de ide/proofs.ml en ide/ideproofs.ml pour éviter un conflit	aspiwack
2010-03-23	Changing types to reflect futur separation between toplevel and ide.	vgross
2010-03-23	Goal generation deported into ide/coq.ml, single function to obtain	vgross
2010-03-23	New functions for goals fetching.	vgross
2010-03-23	Fix bug in backtracking.	vgross
2010-03-23	debugging	vgross
2010-02-26	New backtracking code + fix bug #2082.	vgross
2010-02-26	Introducing a dual stack setup	vgross
2010-02-26	New API for backtracking.	vgross
2010-02-26	Redispatch of printing tweaking hooks.	vgross
2010-02-25	Various fixes in interp, session switching and backtracking	vgross
2010-02-25	Changes in lexing and tagging.	vgross
2010-02-19	Fixing compilation issues	vgross
2010-02-18	Fixing modules names.	vgross
2010-02-18	Adding uim files	vgross
2010-02-18	Polishing the setup of CoqIDE Input Method	vgross
2010-02-15	Change the customization of modifiers (bug #2210)	vgross
2010-02-12	Simplify backtracking	vgross
2010-02-12	Delineating a API for Coq inside toplevel/vernac.ml	vgross
2010-02-12	Refactoring of the printing options	vgross
2010-01-28	New command Declare Reduction <id> := <conv_expr>.	letouzey
2010-01-14	Fix uncaught exception	vgross
2010-01-11	Revert "Isolation of proof-displaying code"	vgross
2010-01-11	Isolation of proof-displaying code	vgross
2009-12-21	Patches and instructions to enable Input Method support in CoqIDE.	vgross
2009-12-11	Deport the backtracking code out of the ide	vgross
2009-12-08	Migration of ProtectedToplevel and Line_oriented_parser into new contrib Inte...	letouzey
2009-12-07	Fix bug #2197 (option show_toolbar not taken into account at startup)	vgross
2009-12-07	Remove the "detach script windows" feature.	vgross
2009-12-03	Fix bug #2191 : Serious "undo" performance degradation since 8.2pl1	vgross
2009-11-23	Ergonomy and robustness fix	vgross
2009-11-19	Refactoring of coqide backtrack code, with the intent to put everything	vgross
2009-11-13	Remove dubious call to Obj.magic (and dead code, by the way)	glondu
2009-11-13	Remove useless call to Obj.magic	glondu
2009-11-13	scripting area now grabs focus at startup.	vgross
2009-11-13	new handling for lexical structures.	vgross
2009-11-13	lexing refactoring	vgross
2009-11-09	A bit of cleaning around name generation + creation of dedicated file namegen.ml	herbelin
2009-11-04	Removed 'Toplevel' language from extraction documentation, since it is not cu...	gmelquio
2009-10-30	Added Coqide highlighting for extraction vernacular.	gmelquio
2009-10-30	Removed 'dest' from keyword highlighting.	gmelquio
2009-10-28	Integrate a few improvements on typeclasses and Program from the equations br...	msozeau