summaryrefslogtreecommitdiffstats
path: root/test/boyer.ml
AgeCommit message (Expand)Author
2010-01-25Tests moved to 'misc'Xavier Clerc
2005-08-12MAJ des benchsXavier Leroy
2000-12-28Getting rid of obsolete boolean operators & and orPierre Weis
1999-11-17Changement de la licenceXavier Leroy
1998-11-12Suppression des alertes.Pierre Weis
1997-05-19deTABisationDamien Doligez
1996-04-30Renommage en Objective CamlXavier Leroy
1995-08-09Ajout des notices de copyrightXavier Leroy
1995-07-24nucleic: suppression de l'abrev "intg" pour une meilleure compilation de =.Xavier Leroy
1995-05-04Passage a la version bootstrappee (franchissement du Rubicon)Xavier Leroy