aboutsummaryrefslogtreecommitdiffhomepage
path: root/proofs/tacinterp.mli
Commit message (Expand)AuthorAge
* Reparation du pretty-print pour les tactiquesGravatar delahaye2001-02-07
* make docGravatar herbelin2001-01-27
* Meta Definition + Tactic DefinitionGravatar delahaye2001-01-09
* Arite cachee de Match Context + Meta DefinitionGravatar delahaye2001-01-05
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* Traitement du pretty-print des RedexpGravatar delahaye2000-11-21
* Modification de la table des tactic Definitions pour eviter l'ecritureGravatar mohring2000-11-07
* Tactiques utilisateur + debuggerGravatar delahaye2000-10-30
* Renommage canonique :Gravatar herbelin2000-10-18
* retablissement make doc et make minicoqGravatar filliatr2000-07-25
* Modifs d'interpretation de patternsGravatar delahaye2000-07-21
* Modifs de presentation.Gravatar delahaye2000-06-28
* diverses modifs pour ocamlwebGravatar filliatr2000-05-03
* Ajout du langage de tactiquesGravatar delahaye2000-05-03
* debuggage inductifs (suite) / compilation Dhyp et Auto (mais pas linkesGravatar filliatr1999-12-07
* Vernacinterp et Vernacentries (partiellement)Gravatar filliatr1999-11-24
* module Macros et TacinterpGravatar filliatr1999-10-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-22 04:13:27 +0000