summaryrefslogtreecommitdiff
path: root/ocamldoc/odoc_args.mli
Commit message (Expand)AuthorAgeFilesLines
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* 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-0/+24
* use first-class modules to allow composition of custom generatorsMaxence Guesdon2010-08-241-169/+4
* option -g also for native code version (loading custom generators)Maxence Guesdon2009-03-111-4/+0
* add option -no-module-constraint-filter for PR#4588Maxence Guesdon2008-07-251-0/+3
* fusion des changements 3.09.2 -> 3.09.3Damien Doligez2006-09-201-0/+4
* fusion 3.09.0 -> 3.09.1Damien Doligez2006-01-041-0/+1
* fusion des changements jusqu'a 3.08.3Damien Doligez2005-03-241-23/+25
* Fusion des modifs de la branche release308 entre 3.08.0 et 3.08.1Damien Doligez2004-08-201-1/+6
* added $Id$ keywordsBasile Starynkevitch2003-11-241-0/+1
* add: -intro option to use a file content as ocamldoc comment to use as introd...Maxence Guesdon2003-11-211-0/+3
* ajout options pour odoc_texi, par olivier andrieuMaxence Guesdon2003-02-211-0/+6
* pas d'option -g en native mode + ajout du module Args dans Odoc_info et utili...Maxence Guesdon2002-08-131-4/+9
* detabisationDamien Doligez2002-07-231-4/+4
* ajout option -latex-*-prefixMaxence Guesdon2002-07-091-0/+27
* ajout option -man-mini pour ne générer que les pages man des module et clas...Maxence Guesdon2002-04-231-0/+3
* ajout option man-suffixMaxence Guesdon2002-04-221-0/+3
* ajout option -o et suppression de l'option -dot-fileMaxence Guesdon2002-04-081-3/+3
* retrait du génrateur isoMaxence Guesdon2002-04-051-16/+0
* ajout module Odoc_texiMaxence Guesdon2002-04-051-4/+11
* ajout ocamldoc, pas encore compile automatiquementMaxence Guesdon2002-03-271-0/+142