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