aboutsummaryrefslogtreecommitdiff
path: root/INSTALL
AgeCommit message (Expand)Author
2014-03-02Set officially the minimal OCaml requirement to 3.12.1Pierre Letouzey
2014-01-30Coqmktop without Sys.command, changes in ./configure -*byteflags optionsPierre Letouzey
2012-08-23No more states/initial.coq, instead coqtop now requires Prelude.voletouzey
2012-08-23configure: no more need for ocamlmktopletouzey
2012-08-08Updating version numbers.herbelin
2012-02-20- changing minimal version for OCaml: Coq uses Filename.dirsep that is availa...notin
2010-05-19Discontinue support for ocaml 3.09.*letouzey
2009-11-05Changement de la version minimale requise de OCaml (3.07 => 3.09.3).notin
2009-02-11Add -coqtoolsbyteflags and -custom to ./configure...glondu
2008-09-07Update CHANGES and INSTALLglondu
2008-05-27add install instruction for mandrivajnarboux
2007-10-10Ajout d'une note sur Ocaml 3.10.0 et camlp5notin
2007-08-20Typo in INSTALL instructionslmamane
2007-07-18Oups... Use shell-variable syntax in shell commands.lmamane
2007-07-18Makefile: needs GNU Make 3.81lmamane
2007-07-13New bootstrapping, improved, Makefile systemcorbinea
2007-01-18Update installation instructions to the modern world a bit.lmamane
2007-01-17Reintroduce compatibility with old versions of GNU makelmamane
2007-01-17README update:lmamane
2006-09-01Coq ne compile plus avec OCaml 3.06 (mais avec 3.07 c'est ok)notin
2006-04-14Maj configure, README, etc...notin
2004-03-15preparation pour release (suite)barras
2003-12-27MAJherbelin
2003-02-03release 7.4; changement magic numberfilliatr
2002-05-15MAJ V7.3herbelin
2001-12-19MAJ 7.2herbelin
2001-09-20MAJ V7.1herbelin
2001-04-25*** empty log message ***courant
2001-04-25modif rpmcourant
2001-04-10Mise a jour de la config pour distribmohring
2000-12-22MAJherbelin
2000-11-29mise à jourfilliatr
2000-11-03compilation avec make de Solaris; README et INSTALLfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 10:50:47 +0000