coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Bug 2703: send stdout dump to coqide when an error occurs.	pboutill	2012-02-29
*	Arguments supports extra notation scopes	gareuselesinge	2012-02-14
*	More information returned by coqtop about its internal state. Hopefully we'll...	ppedrot	2012-02-02
*	Fail: discard the effects of a successful command (fix #2682)	letouzey	2012-01-26
*	Add support for plugin initialization function	gareuselesinge	2012-01-26
*	Check for unresolved evars in textual order of the params and fields declarat...	msozeau	2012-01-25
*	Fix typeclass resolution error message which included goal evars (bug #2620).	msozeau	2012-01-23
*	Removed a seemingly unused argument in Require of modules, introduced 10 year...	ppedrot	2012-01-23
*	Bug 739: forbid dumpglob while using Coqtop in interactive mode	pboutill	2012-01-23
*	Added new command "Set Parsing Explicit" for deactivating parsing (and	herbelin	2012-01-20
*	sequel of previous commit	letouzey	2011-12-21
*	Pure interfaces shouldn't be mentionned in .mllib	letouzey	2011-12-21
*	Arguments: check rename even if no implicit is specified	gareuselesinge	2011-12-19
*	Command Arguments: standardizing format of error messages and American spelling.	herbelin	2011-12-17
*	Deactivated automatic inference of _case schemes, as it was in 8.3	herbelin	2011-12-17
*	A pass on warning printings. Made systematic the use of msg_warning so	herbelin	2011-12-17
*	Moving bullets (-, +, *) into stand-alone commands instead of being	courtieu	2011-12-16
*	Cleaned up a bit goal handling in Coqtop interface. Now we have two queries :...	ppedrot	2011-12-15
*	Proof using ...	gareuselesinge	2011-12-12
*	Minor fixes to Arguments	gareuselesinge	2011-12-06
*	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 a DEPRECATED flag in declaration of options. For now only two options a...	ppedrot	2011-11-24
*	Moving XML handling to lib directory	ppedrot	2011-11-24
*	Correct direction for definitional typeclasses	msozeau	2011-11-24
*	Renamig support added to "Arguments"	gareuselesinge	2011-11-21
*	New Arguments vernacular	gareuselesinge	2011-11-21
*	/home/pirbo/.coqrc* are read again	pboutill	2011-11-21
*	-user option removal	pboutill	2011-11-21
*	coqrc in the right XDG_CONFIG_HOME/coq folder	pboutill	2011-11-20
*	Add support for XDG_DATA_HOME and XDG_DATA_DIRS.	pboutill	2011-11-20
*	Adding the type infrastructure to handle properly API management of options	ppedrot	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-18
*	Restore backward compatibility. ":>" declares subinstances in Class declarati...	msozeau	2011-11-18
*	Merge subinstances branch by me and Tom Prince.	msozeau	2011-11-17
*	Bug 2637: patches to make slightly easier to write programs that use coq code...	pboutill	2011-11-14
*	Bug 2636 - Move string_of_ppcmds to Pp	pboutill	2011-11-14
*	Fixed xml-light handling of whitespace not compliant with XML standard: it st...	ppedrot	2011-11-07
*	Also sprach CoqIDE (in XML)	ppedrot	2011-11-06
*	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 XML manipulation tools to compilation chain	ppedrot	2011-11-06