Commit message (Expand) | Author | Age | |
---|---|---|---|
* | first-order --> firstorder (kills a warning about not being a valid id) | 2008-04-16 | |
* | "suffices" implemented + syntax cleanup | 2007-01-28 | |
* | Messages de idtac et fail peuvent maintenant ĂȘtre des listes de string, int ... | 2006-01-21 | |
* | IMPORTANT COMMIT: constant is now an ADT (it used to be equal to kernel_name). | 2004-11-16 | |
* | firstorder bugfix to cope with elim of sigma types with goal is of the wrong ... | 2004-09-27 | |
* | restructuration des printers: proofs passe avant parsing | 2004-09-17 | |
* | Nouvelle en-tĂȘte | 2004-07-16 | |
* | Ground bugfix | 2003-07-11 | |
* | Ground update | 2003-07-08 | |
* | Ground update | 2003-06-20 | |
* | Ground Update. | 2003-06-20 | |
* | Ground major update ... mmm, sounds exciting ! | 2003-06-15 |