Commit message (Expand) | Author | Age | |
---|---|---|---|
* | - coqc : option -image | 2001-02-01 | |
* | Mise a jour Rbase | 2001-01-11 | |
* | Meta Definition -> Tactic Definition | 2001-01-09 | |
* | Tactic Definition -> Meta Definition | 2001-01-09 | |
* | Ajout du Let pour le langage de tactiques | 2000-12-29 | |
* | Renommages autour de NewInduction | 2000-12-18 | |
* | Elimination du ' | 2000-11-28 | |
* | Le nouvel Induction s'appelle NewInduction | 2000-11-26 | |
* | Petite simplif due au nouveau Tauto | 2000-11-24 | |
* | Retour a la version 1.1 | 2000-11-13 | |
* | Modification de la table des tactic Definitions pour eviter l'ecriture | 2000-11-07 | |
* | Orthographe | 2000-11-07 | |
* | Mise a jour TheoryList | 2000-10-27 | |
* | Remplacement de la tactique Program (partiel) | 2000-10-05 | |
* | portage Refine | 2000-07-20 | |
* | Traduction de syntaxe vers ltac | 2000-07-03 | |
* | Retrait des parenthèses inutiles autour des tactiques | 2000-07-01 | |
* | theories/Lists | 2000-06-21 |