aboutsummaryrefslogtreecommitdiffstats
path: root/src/configure.sh
Commit message (Expand)AuthorAgeFilesLines
* Configure is back (due to #69)Chantal Keller2021-05-281-0/+4
* getting rid of native-coq (#95)vblot2021-05-281-42/+0
* ml4 -> mlgChantal Keller2020-01-161-2/+2
* Error message to state that tactics are not supported with native-coq (#47)ckeller2019-04-121-0/+3
* V8.9 (#43)ckeller2019-03-151-4/+5
* No hard-coded paths to executables (fixes #37)Chantal Keller2019-03-051-2/+4
* V8.7 (#36)ckeller2019-02-141-0/+2
* clean first in configure.shQuentin Garchery2018-10-271-14/+28
* Compiles with Coq-8.6Chantal Keller2017-10-031-1/+2
* Use the Int31 library with coq-8.5Chantal Keller2016-09-281-3/+0
* More modularity on the format of traces depending on the version of coqChantal Keller2016-09-231-0/+2
* Now, Coq 8.5 is the defaultChantal Keller2016-05-011-3/+5
* Light port to Coq 8.5 under progressChantal Keller2016-03-181-0/+18
* Removed old port to Coq 8.4Chantal Keller2016-03-021-18/+0
* Frontend for the standard version of Coq (still bad computational behavior)Chantal Keller2015-02-101-0/+3
* Start porting to the standard version of Coq (not finished yet)Chantal Keller2015-01-131-0/+6
* Identify ML functions that depend on native-coqChantal Keller2015-01-131-2/+2
* Room for compilation with other versions of CoqChantal Keller2015-01-131-0/+9
generated by cgit (git 2.34.1) at 2024-06-02 19:30:07 +0000