summaryrefslogtreecommitdiff
path: root/test/KB/equations.ml
Commit message (Expand)AuthorAgeFilesLines
* This commit was manufactured by cvs2svn to create branch 'newoolab'.No author2003-12-011-115/+0
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Suppression des alertes.Pierre Weis1998-11-121-6/+9
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
* Ajout des notices de copyrightXavier Leroy1995-08-091-0/+13
* Passage a la version bootstrappee (franchissement du Rubicon)Xavier Leroy1995-05-041-0/+98