aboutsummaryrefslogtreecommitdiff
path: root/INSTALL
AgeCommit message (Expand)Author
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-17 11:22:43 +0000