aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/search.ml
Commit message (Expand)AuthorAge
* Noise for nothingGravatar pboutill2012-03-02
* Various simplifications about constant_of_delta and mind_of_deltaGravatar letouzey2011-10-11
* SearchAbout and similar: add a customizable blacklistGravatar letouzey2011-08-11
* Filter out admitted subgoals from search resultsGravatar glondu2011-02-25
* Rename rawterm.ml into glob_term.mlGravatar glondu2010-12-23
* Fix function applications without labels (OCaml warning 6)Gravatar glondu2010-09-28
* Some dead code removal, thanks to Oug analyzerGravatar letouzey2010-09-24
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Filter out "_subproof" objects from search resultsGravatar puech2010-03-11
* This big commit addresses two problems:Gravatar soubiran2009-10-21
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* - Cleaning phase of the interfaces of libnames.ml and nametab.mlGravatar herbelin2009-08-06
* Revert changes in pcoq functions to restore compatibility with contribsGravatar puech2009-01-26
* DISCLAIMERGravatar puech2009-01-17