aboutsummaryrefslogtreecommitdiff
path: root/INSTALL
AgeCommit message (Expand)Author
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-01-31 21:14:01 +0000