aboutsummaryrefslogtreecommitdiffhomepage
path: root/proofs/pfedit.ml
Commit message (Expand)AuthorAge
* Code mortGravatar herbelin2000-12-20
* Hint Unfold Local + commentairesGravatar mohring2000-12-12
* print_id, print_sp -> pr_id, pr_spGravatar herbelin2000-11-23
* Nettoyage Names et conséquences (dont ajout d'un type dir_path, argument de ...Gravatar herbelin2000-11-06
* nouveau discharge fait par le noyau; plus de recettes dans les corps des cons...Gravatar filliatr2000-11-06
* correction Abstract (et make world passe!)Gravatar filliatr2000-11-02
* suppression des (* open Generic *)Gravatar filliatr2000-11-02
* Correction pour make docGravatar herbelin2000-09-10
* Ajout d'un LetIn primitif.Gravatar herbelin2000-09-10
* Passage à des contextes de vars et de rels pouvant contenir des déclarationsGravatar herbelin2000-07-24
* Déplacement de save_thm and co de PFedit vers CommandGravatar herbelin2000-05-25
* Suite restructuration inductifs; changement nom module Constant en DeclarationsGravatar herbelin2000-05-22
* Achèvement nettoyage PfeditGravatar herbelin2000-05-05
* Nettoyage de l'interface de PfeditGravatar herbelin2000-05-04
* Ajout du langage de tactiquesGravatar delahaye2000-05-03
* Nettoyage de l'interface d'Astterm; renommage des {pf_,}constr_of_com* en {pf...Gravatar herbelin2000-03-28
* rattrapage exceptions autres que UserErrorGravatar filliatr1999-12-14
* - méthode load sur les HintsGravatar filliatr1999-12-13
* - erreurs PretypeGravatar filliatr1999-12-10
* debug resetGravatar filliatr1999-12-10
* - constantes avec recettesGravatar filliatr1999-12-09
* deplacement de Discharge dans toplevelGravatar filliatr1999-12-08
* premier debugageGravatar filliatr1999-12-05
* Pfedit (fin)Gravatar filliatr1999-12-02
* poursuite de VernacentriesGravatar filliatr1999-12-01
* module PfeditGravatar filliatr1999-12-01
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-16 12:12:38 +0000