coq - The formal proof system

Age	Commit message (Expand)	Author
2011-12-16	Moving bullets (-, +, *) into stand-alone commands instead of being	courtieu
2011-12-15	Cleaned up a bit goal handling in Coqtop interface. Now we have two queries :...	ppedrot
2011-12-12	Proof using ...	gareuselesinge
2011-11-25	Added an API call to retrieve and change the option state	ppedrot
2011-11-25	Separated the toplevel interface into a purely declarative module with associ...	ppedrot
2011-11-21	New Arguments vernacular	gareuselesinge
2011-11-18	Added hint support in the API. You can now query a goal to see the tactics th...	ppedrot
2011-11-18	Toplevel loop is a bit more robust: it catches bad API queries.	ppedrot
2011-11-18	Making status info better in CoqIDE: path and name of current lemma	ppedrot
2011-11-18	Now Coqtop has a richer way to answer a query about its pending goals. Answer...	ppedrot
2011-11-18	Replaced goal api call with a proper structure. This disables menu hints in C...	ppedrot
2011-11-14	Bug 2636 - Move string_of_ppcmds to Pp	pboutill
2011-11-06	Also sprach CoqIDE (in XML)	ppedrot
2011-09-05	Coqide: new backtracking code, based on the Backtrack command	letouzey
2011-09-05	Ide_intf: slight reorganisation of the IDE api	letouzey
2011-08-18	Misc improvements concerning "Show Match" and its coqide equivalent	letouzey
2011-07-28	Ide_slave: same attributes for { } and Focus/Unfocus (fix coqide display)	letouzey
2011-07-16	This option disables the use of the '{\| field := ... \|}' notation	herbelin
2011-05-18	Coqide: allow the use of Abort (grant wish #2357)	letouzey
2011-05-13	A new mechanism to handle errors.	aspiwack
2011-04-21	Coqide: better handling of stdout/stderr in win32	letouzey
2011-04-06	Add 'Existing Instances' declaration to declare multiple instances at once.	letouzey
2011-03-30	Ide_intf: documentation of calls + debug printing of calls/answers	letouzey
2011-03-30	Ide_intf: remove useless int answer to the "interp" and "rewind" calls	letouzey
2011-03-30	Ide_slave: better handling of Ctrl-C	letouzey
2011-03-28	Ide_slave : fix last commit, use ad_hoc catch_break instead of Sys.catch_break	letouzey
2011-03-28	Ide_slave: improved handling of exceptions (in particular ^C)	letouzey
2011-03-28	Ide_slave: a more robust current_status () function	letouzey
2011-03-25	Ide_intf : change type of location in ide	letouzey
2011-03-23	Ide: stronger separation from coqtop	letouzey