aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
Commit message (Expand)AuthorAge
* Typo.Gravatar gmelquio2011-06-06
* when -camlbin is explicitly given in configure, $OCAML* are $CAMLBIN/exec.Gravatar pboutill2011-04-29
* coq_makefile big cleanupGravatar pboutill2011-04-28
* Fix for handling of -R "" in coqdoc (bug #2423).Gravatar herbelin2011-04-25
* Ocamlbuild: in win32, coqide is now a console-free app by defaultGravatar letouzey2011-04-21
* Coqdoc: also try coqlib relative to the coqdoc binary locationGravatar letouzey2011-04-20
* Add directories in COQPATH to search path.Gravatar herbelin2011-04-14
* Reorder search path order, so the standard library is search last.Gravatar herbelin2011-04-14
* Applying Tom Prince's patch to coqdep not correctly applying the -R visibilityGravatar herbelin2011-04-08
* A kind of reply to bug 2444Gravatar pboutill2011-04-08
* Fix last commit about coqdep: not everyone has a user-contrib dirGravatar letouzey2011-04-03
* Adjust coqdep so that it behaves like coqtop with respect to the user-contrib...Gravatar gmelquio2011-04-01
* Remove the "Boxed" syntaxes and the const_entry_boxed fieldGravatar letouzey2011-01-28
* Fixed status of ÷ and × in coqdoc (they were seen as letter instead of symb...Gravatar herbelin2010-12-06
* Better fix to bug #2183 ("moduleid" internal name got exposed to usersGravatar herbelin2010-12-04
* Fixing several bugs with links to notation in coqdoc, including bug #2445:Gravatar herbelin2010-12-04
* Coqdoc patches from UPenn (thanks to C. Casinghino). This introduces theGravatar msozeau2010-09-28
* Minor fixes of 'make doc'Gravatar pboutill2010-09-28
* Fixing bug #2389 (keyword "Declare Instance" unknown from "coqdoc -g") butGravatar herbelin2010-09-19
* Added test for bugs 2242, 2337, 2339 + remove the use of name "ambiguous" inGravatar herbelin2010-09-18
* Coqdep_boot : misc improvementsGravatar letouzey2010-09-17
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Fix a bug found by S.Glondu. coq-db.el did not compile.Gravatar courtieu2010-07-23
* Finish adding out-of-the-box support for camlp4Gravatar letouzey2010-07-09
* Remove dependency to Unix from module ProfileGravatar glondu2010-07-02
* Add unix.cma on camlp4 command-line in coq_makefile (Closes: #2326)Gravatar glondu2010-06-03
* Add (almost) compatibility with camlp4, without breaking support for camlp5Gravatar letouzey2010-05-19
* Remove compile-command pragmas for emacsGravatar letouzey2010-05-19
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Fixing various coqdep bugs (#2118, #2242, #2274)Gravatar herbelin2010-04-10
* Applied Cédric Auger's patch to fix use of "#&xxx;" in html printingGravatar herbelin2010-04-09
* New model for user-driven translation of tokens in coqdocGravatar herbelin2010-04-06
* Small things about coqdoc + fixing lettuple.v test (part of bug #2289)Gravatar herbelin2010-03-30
* Removed hard-wiring of latin1 letters in coqdoc (see bug #2275)Gravatar herbelin2010-03-30
* Small improvements around coqdoc (including fix for bug #2288)Gravatar herbelin2010-03-30
* Fixed small bugs introduced in commit 12890 (bug #2286, that comesGravatar herbelin2010-03-30
* Several bug-fixes and improvements of coqdocGravatar herbelin2010-03-29
* Adding Function as keyword for coqdocGravatar thery2010-03-06
* Coqdep_boot: when emultating ocamldep, avoid outputting empty answerGravatar letouzey2010-03-04
* Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form)Gravatar letouzey2010-03-04
* Fix previous commitGravatar notin2010-01-28
* Typo in previous commitGravatar notin2010-01-28
* Correction du bug #2219: application du patch envoyé par F. GarillotGravatar notin2010-01-28
* Report de la révision #12676Gravatar notin2010-01-15
* Fix "Existing Instance" to handle globality information and "ExistingGravatar msozeau2009-12-27
* Fix make_exact_entry to allow applying [forall x, P x] hints directly,Gravatar msozeau2009-12-01
* Correction du bug #2118 (Coqdep does not escape #)Gravatar notin2009-11-19
* Suppression de l'appel à Lexing.new_line (qui n'existe pas dans les versions...Gravatar notin2009-11-12
* Correction du bug #2183Gravatar notin2009-11-10
* Misc fixes.Gravatar msozeau2009-11-06