aboutsummaryrefslogtreecommitdiff
path: root/parsing/search.mli
AgeCommit message (Expand)Author
2009-01-17DISCLAIMERpuech
2008-12-29- Added support for subterm matching in SearchAbout.herbelin
2008-10-11Backporting 11445 from 8.2 to trunk (negative conditions inherbelin
2004-07-16Nouvelle en-têteherbelin
2004-02-16export the general function for getting information from the environmentbertot
2003-11-10Suppression SearchNamed finalement redondant avec SearchAboutherbelin
2003-10-23Independance de grammar.cmo vis a vis de Searchherbelin
2003-10-22Integration de SearchNamed dans SearchAboutherbelin
2003-10-13Ajout d'une fonction de recherche sur les composantes du nom des objetsherbelin
2003-10-13Ajout d'une fonction de recherche sur les composantes du nom des objetsherbelin
2003-01-22I changed the interface to make sure SearchAbout is defined according tobertot
2003-01-06SearchAboutfilliatr
2002-08-02Modules dans COQ\!\!\!\!coq
2001-11-05GROS COMMIT:barras
2001-04-03The function filter_by_module, that was previously exported was not thebertot
2001-03-15entetesfilliatr
2001-02-09exported a few functions that are used in graphical interface pcoq.bertot
2000-12-16Prise en compte modules/sections qualifiés dans SearchPattern et SearchRewriteherbelin
2000-12-12syntaxe AST Inversion + commentaires ocamlweb autour de $filliatr
2000-11-24SearchPattern et SearchRewritefilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-07 10:14:00 +0000