summaryrefslogtreecommitdiff
path: root/ocamldoc/odoc_search.mli
Commit message (Expand)AuthorAgeFilesLines
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue2014-05-041-0/+25
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* fix formatting of copyright headersDamien Doligez2012-08-011-0/+1
* merge changes from 4.00 branching to 4.00.0 (part 1)Damien Doligez2012-07-261-2/+18
* clean up spaces and tabsDamien Doligez2010-01-221-2/+2
* added $Id$ keywordsBasile Starynkevitch2003-11-241-0/+1
* ajout syntaxe {!module:T} ... pour les cross ref spécifiques a un élementMaxence Guesdon2002-11-221-0/+41
* conservation des textes des sections pour mettre de jolis texte pour les lien...Maxence Guesdon2002-08-081-3/+3
* ajout ocamldoc, pas encore compile automatiquementMaxence Guesdon2002-03-271-0/+157