aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/search.ml
Commit message (Expand)AuthorAge
* Restructuration et simplification des fonctions d'affichage, de détypageGravatar herbelin2006-01-11
* Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...Gravatar herbelin2005-12-26
* Changement des named_contextGravatar gregoire2005-12-02
* Nettoyage suite à la détection par défaut des variables inutilisées par o...Gravatar herbelin2005-11-08
* Keep ClosedSection marker for resetGravatar herbelin2005-02-20
* Standardisation of function names about global references (especially, renami...Gravatar herbelin2005-02-18
* Inductive.{type_of_inductive,type_of_constructor,arities_of_specif} changedGravatar sacerdot2005-01-14
* Nouvelle en-têteGravatar herbelin2004-07-16
* Suppression SearchNamed finalement redondant avec SearchAboutGravatar herbelin2003-11-10
* Independance de grammar.cmo vis a vis de SearchGravatar herbelin2003-10-23
* Integration de SearchNamed dans SearchAboutGravatar herbelin2003-10-22
* Bug SearchGravatar herbelin2003-10-16
* Ajout d'une fonction de recherche sur les composantes du nom des objetsGravatar herbelin2003-10-13
* Globalisation des noms de tactiques dans les définitions de tactiquesGravatar herbelin2003-04-07
* *** empty log message ***Gravatar barras2003-03-12
* I changed the interface to make sure SearchAbout is defined according toGravatar bertot2003-01-22
* SearchAboutGravatar filliatr2003-01-06
* la table PARAMETER n'existe plus (mergé dans la table CONSTANT)Gravatar letouzey2002-12-03
* Réforme de l'interprétation des termes :Gravatar herbelin2002-11-14
* Intégration des modifs de la branche mowgli :Gravatar herbelin2002-11-05
* Modules dans COQ\!\!\!\!Gravatar coq2002-08-02
* compat ocaml 3.03Gravatar filliatr2001-12-13
* GROS COMMIT:Gravatar barras2001-11-05
* Suppression option immediate_discharge; nettoyage de Declare et conséquencesGravatar herbelin2001-10-11
* Suppression des arguments sur les constantes, inductifs et constructeursGravatar barras2001-10-09
* TransparentGravatar barras2001-09-20
* Search prenait en compte le contenu des sections alors que celui-ci n'existe ...Gravatar herbelin2001-09-14
* ParsingGravatar herbelin2001-08-10
* Pretty -> PrettypGravatar filliatr2001-05-28
* Modified searchPattern. Before this correction, constructors were overlooked,Gravatar bertot2001-04-10
* entetesGravatar filliatr2001-03-15
* Suppression sp_of_idGravatar herbelin2001-02-16
* Several pairs of different functions actually had the same name, soGravatar bertot2001-02-09
* Prise en compte modules/sections qualifiés dans SearchPattern et SearchRewriteGravatar herbelin2000-12-16
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* Modif rapide pour prise en compte eqTGravatar herbelin2000-12-06
* MAJ nom long de eqGravatar herbelin2000-12-06
* SearchPattern et SearchRewriteGravatar filliatr2000-11-24