coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Relax required OCaml to 4.02.1.	Maxime Dénès	2017-01-09
\| \| \| \| \| \|	We did not decide precisely what minor version we would support, so relaxing. We document why 4.02.0 is not supported (its use is also discouraged by the OCaml team, see e.g. https://ocaml.org/releases/).
*	Update required OCaml version in configure.	Maxime Dénès	2016-05-26
\| \| \| \|	Follow-up on Hugo's 1412f9f9.
*	Revert "Revert PMP's fix of #2498, which introduces an incompatibility with ↵	Pierre-Marie Pédrot	2015-12-15
\| \| \| \| \| \|	lablgtk" This reverts commit 469cb750c6c1aa46f77b2a89a36f79f29aa97073.
*	Revert PMP's fix of #2498, which introduces an incompatibility with lablgtk	Maxime Dénès	2015-12-14
\| \| \| \| \| \| \| \| \| \| \|	2.14. Debian ships with lablgtk 2.16 only since a few months, so we apply the fix to trunk instead. This reverts commits: 490160d25d3caac1d2ea5beebbbebc959b1b3832. ef8718a7fd3bcd960d954093d8c636525e6cc492. 6f9cc3aca5bb0e5684268a7283796a9272ed5f9d. 901a9b29adf507370732aeafbfea6718c1842f1b.
*	Advertising that CoqIDE requires lablgtk >= 2.16	Pierre-Marie Pédrot	2015-11-25
\|
*	Fix some typos.	Guillaume Melquiond	2015-10-13
\|
*	An update on INSTALL.ide.	Hugo Herbelin	2015-01-29
\|
*	Set officially the minimal OCaml requirement to 3.12.1	Pierre Letouzey	2014-03-02
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Anyway, a few syntactic features of 3.12 were already used here and there (e.g. local opening via Foo.(...), or the record shortcut { field; ... }). Hence compiling with 3.11 wasn't working anymore. Already take advantage of the following 3.12.1 features : - "module type of ..." in CArray, CList, CString ... - "ocamldep -ml-synonym" : no need anymore to hack the ocamldep output via our coqdep to localize the .ml4 modules :-) The -ml-synonym option (+ various bugfixes) is the reason for asking 3.12.1 directly and not just 3.12.0. After all, if debian stable is providing 3.12.1, then everybody has it ;-)
*	Bug 2823: update INSTALL.ide in order to ask for lablgtksourceview	pboutill	2012-06-20
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15454 85f007b7-540e-0410-9357-904b9bb8a0f7
*	CoqIdE configuration file won't pollute your home anymore	pboutill	2011-11-20
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14694 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Discontinue support for ocaml 3.09.*	letouzey	2010-05-19
\| \| \| \| \| \|	Ocaml 3.10.0 is already three year old... git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13015 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Changement de la version minimale requise de OCaml (3.07 => 3.09.3).	notin	2009-11-05
\| \| \| \| \| \| \| \| \| \| \|	J'ai ajouté une option '-force-caml-version' au ./configure pour passer outre la vérification de la version de OCaml. La barre a été mise à 3.09.3 parce que Khepri (Debian Etch = oldstable) continue de faire tourner le bench en utilisant OCaml 3.09.3. Pour info, Coq 8.2 compile avec la 3.08.4, mais pas le trunk. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12473 85f007b7-540e-0410-9357-904b9bb8a0f7
*	update gtk requirements	jnarboux	2008-05-28
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11008 85f007b7-540e-0410-9357-904b9bb8a0f7
*	add install instruction for mandriva	jnarboux	2008-05-27
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11000 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Ajout d'une explication dans la FAQ pour le bug avec MOD4 sous Coqide	notin	2008-01-07
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10431 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Mise à jour des notes d'installation pour Coqide	notin	2007-10-10
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10211 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Update installation instructions to the modern world a bit.	lmamane	2007-01-18
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9500 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Coq ne compile plus avec OCaml 3.06 (mais avec 3.07 c'est ok)	notin	2006-09-01
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9116 85f007b7-540e-0410-9357-904b9bb8a0f7
*	conseille l'utilisation de la release officielle 2.2.0 de lablgtk	letouzey	2003-11-12
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4861 85f007b7-540e-0410-9357-904b9bb8a0f7
*	typo (Benjamin, voyons ;)	letouzey	2003-09-22
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4443 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Coqide : les nouveaute d'aout	monate	2003-09-19
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4424 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Petite erreur dans le script d'install.	corbinea	2003-07-08
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4228 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Coqide : ported to lablgtk2 snapshot of 2003/07/07	monate	2003-07-07
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4221 85f007b7-540e-0410-9357-904b9bb8a0f7
*	configure et make install s'occupent de CoqIde tout seuls	filliatr	2003-05-19
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4029 85f007b7-540e-0410-9357-904b9bb8a0f7
*	CoqIde: AccelMap support	monate	2003-05-12
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4001 85f007b7-540e-0410-9357-904b9bb8a0f7
*	coqide: search forward	monate	2003-04-28
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3969 85f007b7-540e-0410-9357-904b9bb8a0f7
*	new utf8.v	monate	2003-04-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3953 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	monate	2003-04-24
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3949 85f007b7-540e-0410-9357-904b9bb8a0f7
*	coqide: thread bug fix	monate	2003-04-10
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3900 85f007b7-540e-0410-9357-904b9bb8a0f7
*	coqide: maj preferences du wizzard	monate	2003-03-14
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3774 85f007b7-540e-0410-9357-904b9bb8a0f7
*	CoqIde: Install.ide Revert bugfix.	monate	2003-03-05
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3741 85f007b7-540e-0410-9357-904b9bb8a0f7