Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 'as' avant 'using' dans 'destruct' | 2003-11-09 | |
* | Oubli | 2003-11-05 | |
* | MAJ | 2003-11-05 | |
* | MAJ | 2003-11-05 | |
* | *** empty log message *** | 2003-11-04 | |
* | nouvelles priorites + Hints | 2003-10-22 | |
* | *** empty log message *** | 2003-10-21 | |
* | *** empty log message *** | 2003-10-20 | |
* | nouvelle syntaxe de ltac | 2003-10-16 | |
* | *** empty log message *** | 2003-10-16 | |
* | mise a jour nouvelle syntaxe | 2003-10-11 | |
* | *** empty log message *** | 2003-10-03 | |
* | About, Infix | 2003-09-26 | |
* | MAJ | 2003-09-22 | |
* | Ajout nouvelles commandes | 2003-09-12 | |
* | MAJ | 2003-09-06 | |
* | Relachement conflit 'with' dans le cas des Module with Definition | 2003-09-02 | |
* | Syntaxe des constructeurs et des hypotheses | 2003-08-31 | |
* | MAJ | 2003-08-11 | |
* | Added new syntax definition | 2003-06-06 |