Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Ajout V8Notation | 2003-05-22 | |
* | Possibilité de syntaxe conjointement à la définition des inductifs et des ... | 2003-05-21 | |
* | Prise en compte des syntaxes v8 dans Uninterpreted Notation | 2003-04-29 | |
* | Factorisation des produits de même type; parenthèses autour des x:=c et n:=... | 2003-04-29 | |
* | Ajout "at next level" dans Notation | 2003-04-17 | |
* | Ajout option 'Local' à Infix et Notation | 2003-04-11 | |
* | Ajout option "Local" à "Open Scope" | 2003-04-08 | |
* | Mise en place de 'Implicit Variable' (variante du 'Reserve' de mizar) | 2003-03-29 | |
* | MAJ des mots-clés, Definition, Theorem, ... | 2003-03-27 | |
* | *** empty log message *** | 2003-03-21 | |
* | *** empty log message *** | 2003-03-12 |