aboutsummaryrefslogtreecommitdiffhomepage
path: root/INSTALL
Commit message (Expand)AuthorAge
* Update INSTALL now that -debug is the default.Gravatar Théo Zimmermann2017-04-11
* [camlpX] Enrico's changes to camlp4 removal.Gravatar Emilio Jesus Gallego Arias2017-04-07
* Relax required OCaml to 4.02.1.Gravatar Maxime Dénès2017-01-09
* Set version number to 8.6beta1.Gravatar Maxime Dénès2016-11-14
* Revert "Merge remote-tracking branch 'github/pr/229' into trunk"Gravatar Maxime Dénès2016-07-05
* Makefile: no bytecode compilation in make world, see make byte insteadGravatar Pierre Letouzey2016-06-29
* Updating OCaml version number needed for 8.6.Gravatar Hugo Herbelin2016-04-17
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-29
|\
| * Preventing using OCaml 4.02.0 for compiling Coq as compilation timesGravatar Hugo Herbelin2015-10-26
* | Fixup last commitGravatar Pierre Boutillier2015-06-22
* | All invocations to ocaml compilers go through ocamlfindGravatar Pierre Boutillier2015-06-22
|/
* Extra check at the INSTALL file.Gravatar Hugo Herbelin2015-01-29
* More fallout from elisp renameGravatar Anders Kaseorg2014-10-16
* refresh INSTALLGravatar Pierre Boutillier2014-06-30
* Set officially the minimal OCaml requirement to 3.12.1Gravatar Pierre Letouzey2014-03-02
* Coqmktop without Sys.command, changes in ./configure -*byteflags optionsGravatar Pierre Letouzey2014-01-30
* No more states/initial.coq, instead coqtop now requires Prelude.voGravatar letouzey2012-08-23
* configure: no more need for ocamlmktopGravatar letouzey2012-08-23
* Updating version numbers.Gravatar herbelin2012-08-08
* - changing minimal version for OCaml: Coq uses Filename.dirsep that is availa...Gravatar notin2012-02-20
* Discontinue support for ocaml 3.09.*Gravatar letouzey2010-05-19
* Changement de la version minimale requise de OCaml (3.07 => 3.09.3).Gravatar notin2009-11-05
* Add -coqtoolsbyteflags and -custom to ./configure...Gravatar glondu2009-02-11
* Update CHANGES and INSTALLGravatar glondu2008-09-07
* add install instruction for mandrivaGravatar jnarboux2008-05-27
* Ajout d'une note sur Ocaml 3.10.0 et camlp5Gravatar notin2007-10-10
* Typo in INSTALL instructionsGravatar lmamane2007-08-20
* Oups... Use shell-variable syntax in shell commands.Gravatar lmamane2007-07-18
* Makefile: needs GNU Make 3.81Gravatar lmamane2007-07-18
* New bootstrapping, improved, Makefile systemGravatar corbinea2007-07-13
* Update installation instructions to the modern world a bit.Gravatar lmamane2007-01-18
* Reintroduce compatibility with old versions of GNU makeGravatar lmamane2007-01-17
* README update:Gravatar lmamane2007-01-17
* Coq ne compile plus avec OCaml 3.06 (mais avec 3.07 c'est ok)Gravatar notin2006-09-01
* Maj configure, README, etc...Gravatar notin2006-04-14
* preparation pour release (suite)Gravatar barras2004-03-15
* MAJGravatar herbelin2003-12-27
* release 7.4; changement magic numberGravatar filliatr2003-02-03
* MAJ V7.3Gravatar herbelin2002-05-15
* MAJ 7.2Gravatar herbelin2001-12-19
* MAJ V7.1Gravatar herbelin2001-09-20
* *** empty log message ***Gravatar courant2001-04-25
* modif rpmGravatar courant2001-04-25
* Mise a jour de la config pour distribGravatar mohring2001-04-10
* MAJGravatar herbelin2000-12-22
* mise à jourGravatar filliatr2000-11-29
* compilation avec make de Solaris; README et INSTALLGravatar filliatr2000-11-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-23 08:52:57 +0000