summaryrefslogtreecommitdiffstats
path: root/Upgrading
AgeCommit message (Expand)Author
2012-08-02remove obsolete fileDamien Doligez
2010-01-22clean up spaces and tabsDamien Doligez
2004-07-13Fusion des modifs faites sur la branche release jusqu'a la release 3.08.0Xavier Leroy
2001-11-07camlp4 under toplevelJacques Garrigue
2001-10-12TyposXavier Leroy
2001-10-11add UpgradingJacques Garrigue