aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/search.mli
Commit message (Expand)AuthorAge
* Update headers.Gravatar Maxime Dénès2015-01-12
* Error messages of Searchxxx are coherent with goal selector.Gravatar Pierre Courtieu2014-12-16
* Searchxxx now search also the hypothesis and support goal selector.Gravatar Pierre Courtieu2014-12-12
* all coqide specific files moved into ide/Gravatar Enrico Tassi2014-06-25
* Remove many superfluous 'open' indicated by ocamlc -w +33Gravatar Pierre Letouzey2014-03-05
* Exporting the SearchAbout filter.Gravatar ppedrot2013-04-02
* Removing the module Libtypes and unifying the Search[Pattern|Rewrite]?Gravatar ppedrot2013-03-19
* Dir_path --> DirPathGravatar letouzey2013-02-19
* Modulification of dir_pathGravatar ppedrot2012-12-14
* When asked for a SearchAbout request, Coq now returns a more preciseGravatar ppedrot2012-09-09
* Updating headers.Gravatar herbelin2012-08-08
* Moved code out of ide_slave in a more appropriate place.Gravatar ppedrot2012-07-09
* Getting rid of Pcoq remains.Gravatar ppedrot2012-06-12
* Getting rid of Pp.msgGravatar ppedrot2012-05-30
* global_reference migrated from Libnames to new Globnames, less deps in gramma...Gravatar letouzey2012-05-29
* Added a SearchAbout-like primitive in coqtop interface.Gravatar ppedrot2012-05-13
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* New script dev/tools/change-header to automatically update Coq files headers.Gravatar herbelin2010-06-22
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Move from ocamlweb to ocamdoc to generate mli documentationGravatar pboutill2010-04-29
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Revert changes in pcoq functions to restore compatibility with contribsGravatar puech2009-01-26
* DISCLAIMERGravatar puech2009-01-17