coq - The formal proof system

Age	Commit message (Collapse)	Author
2016-01-20	Update copyright headers.	Maxime Dénès

2015-05-21	Changing the heuristic fixing bug #4241.	Pierre Courtieu
	Fixed #4241 correlates Printing Width and max_indent, this patch changes the correlation to the following one: max_indent = max ((wdth*80)/100) (wdth-30) i.e. the right column defined by max_indent is 20% of the global width, but capped to 30 characters.
2015-05-20	Answering report #4241 (formatting of boxes not behaving regularly	Hugo Herbelin
	when printing width extend).
2015-01-12	Update headers.	Maxime Dénès

2012-08-08	Updating headers.	herbelin
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15715 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-06-26	Fixed string width printing in string_of_ppcmds	ppedrot
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15493 85f007b7-540e-0410-9357-904b9bb8a0f7
2010-12-03	Remove dead code	glondu
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13669 85f007b7-540e-0410-9357-904b9bb8a0f7
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13323 85f007b7-540e-0410-9357-904b9bb8a0f7
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
	- Many of them were broken, some of them after Pierre B's rework of mli for ocamldoc, but not only (many bad annotation, many files with no svn property about Id, etc) - Useless for those of us that work with git-svn (and a fortiori in a forthcoming git-only setting) - Even in svn, they seem to be of little interest git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12972 85f007b7-540e-0410-9357-904b9bb8a0f7
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12337 85f007b7-540e-0410-9357-904b9bb8a0f7
2009-01-27	- Fixed various Overfull in documentation.	herbelin
	- Removed useless coq-tex preprocessing of RecTutorial. - Make "Set Printing Width" applies to "Show Script" too. - Completed documentation (specially of ltac) according to CHANGES file. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11863 85f007b7-540e-0410-9357-904b9bb8a0f7
2008-05-10	Correction bug #1842 + correction bug initialisation introduit dans	herbelin
	commit 10916 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10917 85f007b7-540e-0410-9357-904b9bb8a0f7
2007-01-31	redirection of errors in coqide + dynamic warning printer (needed for tm_egg)	corbinea
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9566 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-07-16	Nouvelle en-tête	herbelin
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5920 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-10-16	Marge presqu'a 80, maximum indentation a 50 pour une meilleure lisibilite	herbelin
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4658 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-26	Ajout de Set Print Width	gregoire
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3790 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-12	* empty log message *	barras
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3761 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-04	interface GTK2 experimentale	monate
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3660 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-05-29	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et ↵	herbelin
	commandes vernaculaires (cf dev/changements.txt pour plus de précisions) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2722 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-03-15	entetes	filliatr
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1469 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-10-01	deep_gp pour l'écriture dans un fichier	filliatr
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@91 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-08-16	Initial revision	filliatr
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2 85f007b7-540e-0410-9357-904b9bb8a0f7