coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Export type_of_global_ref (useful for external users of glob files)	Enrico Tassi	2014-07-11
*	Have the feedback bus as a backend for dumping globs.	Carst Tankink	2014-04-10
*	Misc changes around coqtop.ml :	letouzey	2013-08-22
*	Dir_path --> DirPath	letouzey	2013-02-19
*	Modulification of dir_path	ppedrot	2012-12-14
*	Modulification of identifier	ppedrot	2012-12-14
*	Updating headers.	herbelin	2012-08-08
*	Added an indirection with respect to Loc in Compat. As many [open Compat]	ppedrot	2012-06-22
*	Avoid Dumpglob dependency on Lexer	letouzey	2012-05-29
*	global_reference migrated from Libnames to new Globnames, less deps in gramma...	letouzey	2012-05-29
*	New files intf/constrexpr.mli and intf/notation_term.mli out of Topconstr	letouzey	2012-05-29
*	Noise for nothing	pboutill	2012-03-02
*	Added checksums to glob files and warned about possibly missing	herbelin	2011-10-29
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Constrintern: unified push_name_env and push_loc_name_env; made	herbelin	2010-07-22
*	New script dev/tools/change-header to automatically update Coq files headers.	herbelin	2010-06-22
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Move from ocamlweb to ocamdoc to generate mli documentation	pboutill	2010-04-29
*	Several bug-fixes and improvements of coqdoc	herbelin	2010-03-29
*	Suite commit 11236	notin	2008-07-24