aboutsummaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Expand)Author
2012-12-10Coq_makefile: Better rule for subdirs when the subdir does not existpboutill
2012-12-07Revert "* tools/Coq_makefile:"regisgia
2012-12-07* tools/Coq_makefileregisgia
2012-12-07* tools/Coq_makefile:regisgia
2012-11-13coq_makefile: use coqdep instead of ocamldep on .ml4 filesgareuselesinge
2012-11-12Xml_parser: detect immediate EOF + disable check_eof by defaultletouzey
2012-10-29coqdep: honor dependencies of "Load"ed filesgareuselesinge
2012-10-29Allow running coq-tex in win32 (fix #2921)letouzey
2012-10-16Continuing r15885 fixing coqdoc index bugs introduced in r14624 and r15053.herbelin
2012-10-16Removed dead code about linking Module names in coqdoc.herbelin
2012-10-15Coq_makefile: easier compilation with timings info (from r15850)pboutill
2012-10-15Fixing coqdoc index bugs introduced in r14624 and r15053. Revision r14624 int...pboutill
2012-10-08fix r15860 : no slash after $(COQLIB)letouzey
2012-10-06still some more dead code removalletouzey
2012-10-06remove -rectypes except for term.mlletouzey
2012-10-05Repair the configure after Hugo's last "repair" ;-)letouzey
2012-09-22Fix use of $(HASNATDYNLINK) in coq_makefile outputglondu
2012-09-18Coq_makefile fixupspboutill
2012-09-17More type-safe interface to Coq XML API.ppedrot
2012-09-14Moving Utils.list_* to a proper CList module, which includes stdlibppedrot
2012-09-14The new ocaml compiler (4.00) has a lot of very cool warnings,regisgia
2012-09-07Coqdoc: fix --utf8 bug for pretty printingpboutill
2012-08-23No more states/initial.coq, instead coqtop now requires Prelude.voletouzey
2012-08-23Revert "when cross-compiling with mingw32, let's fix the Filename.dir_sep"letouzey
2012-08-08Updating headers.herbelin
2012-08-06Coqdoc inlined verbatim_char in latexpboutill
2012-08-06Add inline verbatim (<</>>), quotes (") and urls ({{url} name}) markup/typese...pboutill
2012-08-05Coqdoc: More keywords, better special char escape, special case for "in *"pboutill
2012-08-05More entries in the indexpboutill
2012-07-18Various minor fixes to coqdoc from A. Chlipala.msozeau
2012-07-09Fixed fake_ide test-suite.ppedrot
2012-06-29Fixing fake_ideppedrot
2012-06-22Coq_makefile: make uninstall targetpboutill
2012-06-22Install is rather beautifulpboutill
2012-06-22inthe middle one more timepboutill
2012-06-22Refactoring seems OKpboutill
2012-06-22Coq_makefile: separate finding what to install where from generating the scri...pboutill
2012-06-14coq_makefile fixuppboutill
2012-06-12New step in purpose to get both camlp4 and camlp5 compatible coq_makefilespboutill
2012-05-31Coq_makefile bug for pluginspboutill
2012-05-29place all pretty-printing files in new dir printing/letouzey
2012-05-25Bugs revealed by playing with contribspboutill
2012-05-23Revert copy/pasted function in to minilib thanks to clib.cmapboutill
2012-05-23configure: add support of MinGW Win32 environment (fix #2526)letouzey
2012-05-15when cross-compiling with mingw32, let's fix the Filename.dir_sepletouzey
2012-04-12lib directory is cut in 2 cma.pboutill
2012-03-19Bug 2709: Duplication in coqdoc index entriespboutill
2012-02-29Coq_makefile: Add of extra options by defaultpboutill
2012-02-16Fix handling of space after "Notation" or "where", add missing keywords.msozeau
2011-12-26Coqdoc: Fixing missing newline when using "Proof term."herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-03 06:37:10 +0000