Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Pas de dépendance en Omega | 2005-02-21 | |
* | adaptation V8 version Pierre Cregut | 2004-03-03 | |
* | Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ... | 2003-11-29 | |
* | Fichiers contrib/*/*.ml4 remplacent les contrib/*/*.v | 2002-05-29 | |
* | MAJ V7.1 | 2001-09-19 | |
* | reparation Zne | 2001-09-19 | |
* | Romega/names/Makefile | 2001-09-18 |