aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
Commit message (Expand)AuthorAge
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* - Tentatively made order-dependency wrt .vo files a full dependencyGravatar herbelin2009-09-15
* Fixes for toc depth handling and handling of substitles from Chris Casinghino.Gravatar msozeau2009-09-10
* Update coqdoc documentation, CHANGES and add a fix for the proofbox (patchGravatar msozeau2009-09-08
* Fix the bug-ridden code used to choose leibniz or generalizedGravatar msozeau2009-09-08
* Incorporate coqdoc changes by the UPenn team (B.Pierce, C. Casinghino,Gravatar msozeau2009-09-04
* Add --plain-comments patch by F. Garillot, which also addsGravatar msozeau2009-09-03
* - Cleaning phase of the interfaces of libnames.ml and nametab.mlGravatar herbelin2009-08-06
* Allow coqdoc comments inside definition bodies.Gravatar msozeau2009-07-09
* Adapted the emacs mode to font-lock. Re-using code from ProofGeneral.Gravatar courtieu2009-05-28
* Report de la révision #12104 (Maj lien site web de Coq)Gravatar notin2009-04-24
* Take formatted into account in rules for dot.Gravatar msozeau2009-04-08
* Change HTML paragraph output to avoid too much space after bulletedGravatar msozeau2009-04-08
* Fix behavior on newlines with parse-comments and also do [] escaping as Gravatar msozeau2009-04-06
* Coqdep: some dead code and code move (first experiment with Oug)Gravatar letouzey2009-03-27
* Coqdep_boot: one line with bad indentationGravatar letouzey2009-03-26
* Protect typeset arguments in titles in LaTeX output (fixes compilationGravatar msozeau2009-03-26
* Fix coqdoc bugs reported by Ian Lynagh.Gravatar msozeau2009-03-24
* pretty.mll of coqdoc becomes cpretty.mll (avoid clash with a camlp5 file)Gravatar letouzey2009-03-24
* More elaborate handling of newlines in Gallina mode. Support inlineGravatar msozeau2009-03-22
* coqdoc fixes and support for parsing regular comments (request byGravatar msozeau2009-03-22
* Many changes in the Makefile infrastructure + a beginning of ocamlbuildGravatar letouzey2009-03-20
* Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...Gravatar letouzey2009-03-20
* coq_makefile: -c and -shared conflict; tacinterp: delay evaluation of tactic ...Gravatar barras2009-03-19
* coq_makefile: no ml dependency on coq sourcesGravatar barras2009-03-18
* - configure: affiche si le natdynlink est positionneGravatar barras2009-03-17
* missing -c option of ocamlc in coq_makefile; coqdep_boot main loop was includ...Gravatar barras2009-03-16
* coqdep_boot: a specialized and dependency-free coqdep for killing one of the ...Gravatar letouzey2009-03-16
* Coqdep: better handling of Declare ML Module (via .mllib) + many cleanupsGravatar letouzey2009-03-14
* Coqdep: remove references to obsolete .zi and Require Implementation stuffGravatar letouzey2009-03-14
* Cleanup: avoid the warning about Coq-tex not being a valid Ocaml module nameGravatar letouzey2009-03-11
* Amélioration de coq_makefileGravatar notin2009-02-24
* Report des revisions #11826, #11828 et #11829 de v8.2 vers trunkGravatar notin2009-02-11
* From v8.2 to trunk:Gravatar herbelin2009-02-06
* Fix d'un bug avec l'option gallinaGravatar notin2009-02-04
* - Better deal with commands inside section titles in latex output usingGravatar msozeau2009-01-21
* Various little fixes:Gravatar msozeau2009-01-18
* Patch by Brian Campbell to output more information on the exception thatGravatar msozeau2009-01-15
* Oups... il n'y a pas d'option -impl pour ocamldepGravatar notin2009-01-09
* Minor doc fixes:Gravatar msozeau2009-01-08
* Sous Windows, 'coqtop -where' renvoit des chemins contenant des '\'Gravatar notin2009-01-07
* Suite de la révision #11756Gravatar notin2009-01-07
* Added installation of .cmi files in "make install" target of coq_makefile.Gravatar herbelin2009-01-04
* Produce better html code with coqdoc and improve doc:Gravatar msozeau2008-12-29
* - coq_makefile: target install now respects the original tree structureGravatar herbelin2008-12-24
* Nettoyage des variables Coq et amélioration de coqmktop. LesGravatar notin2008-12-19
* Take advantage of natdynlink when available: almost all contribs become loada...Gravatar letouzey2008-12-16
* - configure: do not strip coqtop on Darwin so as to support dynamic loadingGravatar herbelin2008-12-12
* - Synchronized subst_object with load_object (load_and_subst_objects)Gravatar herbelin2008-11-23
* Fixed bug in VernacExtend printing + missing vernacular printing rules +Gravatar herbelin2008-11-22