coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	More information returned by coqtop about its internal state. Hopefully we'll...	ppedrot	2012-02-02
*	Cleaned up a bit goal handling in Coqtop interface. Now we have two queries :...	ppedrot	2011-12-15
*	More type safety in query GADT (again).	ppedrot	2011-11-30
*	Fixed a serious bug in XML marshalling due to unsafe GADTs. Now types are enf...	ppedrot	2011-11-30
*	Fixed a warning about unused variable introduced in r14731	ppedrot	2011-11-29
*	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-25
*	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-18
*	Fixed nasty bug when empty PCData, confusion no string vs. empty string	ppedrot	2011-11-06
*	More XML marshalling functions	ppedrot	2011-11-06
*	Partialliy added XML marshalling to ide_intf	ppedrot	2011-11-06
*	Added missing printing debug functions in IDE interface	ppedrot	2011-11-05
*	Coqide: new backtracking code, based on the Backtrack command	letouzey	2011-09-05
*	Ide_intf: slight reorganisation of the IDE api	letouzey	2011-09-05
*	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-30
*	Ide_intf : change type of location in ide	letouzey	2011-03-25
*	Ide: stronger separation from coqtop	letouzey	2011-03-23