- 15 Mar, 2016 1 commit
-
-
Andrei Paskevich authored
-
- 26 Jan, 2016 1 commit
-
-
Stefan Berghofer authored
Isabelle2015 is still supported, but support for Isabelle2014 has been discontinued.
-
- 13 Oct, 2015 1 commit
-
-
Guillaume Melquiond authored
-
- 29 May, 2015 1 commit
-
-
MARCHE Claude authoredSigned-off-by:
Claude Marche <Claude.Marche@inria.fr>
-
- 21 May, 2015 2 commits
-
-
-
MARCHE Claude authored
-
- 19 May, 2015 1 commit
-
-
Guillaume Melquiond authored
-
- 12 May, 2015 1 commit
-
-
MARCHE Claude authored
-
- 28 Apr, 2015 1 commit
-
-
François Bobot authored
When coqtop -config return something like ``` CAMLP4OPTIONS=-loc loc ``` (cf https://coq.inria.fr/bugs/show_bug.cgi?id=4163)
-
- 23 Apr, 2015 1 commit
-
-
Stefan Berghofer authored
-
- 18 Apr, 2015 1 commit
-
-
MARCHE Claude authored
-
- 01 Apr, 2015 1 commit
-
-
MARCHE Claude authored
-
- 20 Mar, 2015 1 commit
-
-
Andrei Paskevich authored
-
- 19 Mar, 2015 1 commit
-
-
MARCHE Claude authored
-
- 02 Mar, 2015 1 commit
-
-
François Bobot authored
-
- 27 Feb, 2015 1 commit
-
-
Guillaume Melquiond authored
-
- 16 Feb, 2015 2 commits
-
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
- 14 Jan, 2015 1 commit
-
-
MARCHE Claude authored
-
- 03 Oct, 2014 1 commit
-
-
Jean-Christophe Filliâtre authored
-
- 20 Sep, 2014 1 commit
-
-
Andrei Paskevich authored
-
- 06 Sep, 2014 1 commit
-
-
Andrei Paskevich authored
-
- 05 Sep, 2014 1 commit
-
-
Andrei Paskevich authored
-
- 29 Aug, 2014 1 commit
-
-
Jean-Christophe Filliâtre authored
-
- 28 Aug, 2014 1 commit
-
-
- 26 Jul, 2014 1 commit
-
-
Andrei Paskevich authored
-
- 06 Jul, 2014 1 commit
-
-
Guillaume Melquiond authored
-
- 28 Jun, 2014 1 commit
-
-
MARCHE Claude authored
two parts: why3 and why3session. (The Coq tactic does not include why3session)
-
- 15 May, 2014 2 commits
-
-
Guillaume Melquiond authored
The 1-argument version of AC_INIT is obsolete since 2003. Moreover, it prevents ./configure --version from giving a meaningful output.
-
Guillaume Melquiond authored
-
- 13 May, 2014 1 commit
-
-
- 24 Mar, 2014 1 commit
-
-
Jean-Christophe Filliâtre authored
-
- 14 Mar, 2014 1 commit
-
-
Jean-Christophe Filliâtre authored
-
- 13 Mar, 2014 1 commit
-
-
Guillaume Melquiond authored
-
- 04 Mar, 2014 1 commit
-
-
MARCHE Claude authored
-
- 17 Feb, 2014 3 commits
-
-
MARCHE Claude authored
-
MARCHE Claude authored
-
Guillaume Melquiond authored
-
- 16 Feb, 2014 1 commit
-
-
MARCHE Claude authored
-
- 15 Feb, 2014 1 commit
-
-
MARCHE Claude authored
-
