coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	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