coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fix #4837: ./configure -local makes coqdep issue many warnings	Maxime Dénès	2016-11-04
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-05-02
\|\
\| *	Print magic numbers in bad magic error message	Tej Chajed	2016-04-25
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\\|
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-11-26
\|\\|
\| *	Generalizing the patch to bug #2554 on fixing path looking with	Hugo Herbelin	2015-11-25
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-02
\|\\|
\| *	Make the interface of System.raw_extern_intern much saner.	Guillaume Melquiond	2015-09-29
\| *	Prevent States.intern_state and System.extern_intern from looking up files in...	Guillaume Melquiond	2015-09-29
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-09-25
\|\\|
\| *	Revert "On MacOS X, ensuring that files found in the file system have the"	Maxime Dénès	2015-09-20
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-06-01
\|\\|
\| *	Continuing incomplete 4b5af0d6e9ec1 (on MacOS X, ensuring that files	Hugo Herbelin	2015-05-20
* \|	Using same code for browsing physical directories in coqtop and coqdep.	Hugo Herbelin	2015-02-16
\| *	Revert "Using same code for browsing physical directories in coqtop and coqdep."	Hugo Herbelin	2015-02-12
\| *	Using same code for browsing physical directories in coqtop and coqdep.	Hugo Herbelin	2015-02-12
\|/
*	Update headers.	Maxime Dénès	2015-01-12
*	toploop plugins taken into account when printing --help (close: 3535)	Enrico Tassi	2014-09-09
*	Removing dead code relative to the XML plugin.	Pierre-Marie Pédrot	2014-09-08
*	STM: code restructured to reuse task queue for tactics	Enrico Tassi	2014-08-05
*	Adding a "time" tactical for benchmarking purposes. In case the tactic	Hugo Herbelin	2014-07-13
*	Revert "time tac" (committed by mistake).	Hugo Herbelin	2014-07-07
*	time tac	Hugo Herbelin	2014-07-07
*	.vi files: .vo files without proofs	Enrico Tassi	2014-01-04
*	Change in vo format : digest aren't Marshalled anymore	letouzey	2013-08-22
*	Removing mandatory suffixes for library files.	ppedrot	2013-03-21
*	v8.4: Granting bug/wish #2976 (turning anomaly on input_value into nice message)	herbelin	2013-02-01
*	Updating headers.	herbelin	2012-08-08
*	lib directory is cut in 2 cma.	pboutill	2012-04-12
*	Remove System.process_time (dead code)	glondu	2011-05-19
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	New script dev/tools/change-header to automatically update Coq files headers.	herbelin	2010-06-22
*	Protection against anomaly when loading a state with bad magic number.	herbelin	2010-06-22
*	Account for Stephane Glondu's remarks.	fkirchne	2010-05-28
*	Use existing functions to reimplement search_exe.	fkirchne	2010-05-28
*	Various minor improvements of comments in mli for ocamldoc	letouzey	2010-04-29
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Move from ocamlweb to ocamdoc to generate mli documentation	pboutill	2010-04-29
*	Look for csdp in $PATH at runtime, remove -csdpdir configure option	glondu	2010-04-11
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Backporting from v8.2 to trunk:	herbelin	2009-01-18
*	- coq_makefile: target install now respects the original tree structure	herbelin	2008-12-24
*	Fichiers oubliés lors du 11188 :-(	herbelin	2008-06-30
*	Nettoyage de l'utilisation de l'expansion des macros ~ et $ dans les noms de	herbelin	2006-11-21
*	Correction bug #990 (LoadPath et option -R de coqide	notin	2006-05-30
*	bug de coqide sous windows (bad file descriptor)	barras	2005-11-23
*	Déplacement de fonctionnalités unix et browser de ide vers lib	herbelin	2005-05-19
*	Ajout d'un processus de communication entre Coq et un outil externe	herbelin	2005-02-04
*	Nouvelle en-tête	herbelin	2004-07-16