aboutsummaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Expand)Author
2013-10-29Revert the two last commits. My bad, I messed up git-svn commands...ppedrot
2013-10-29Printing heap on every processed sentence.ppedrot
2013-10-14Avoid polymorphic comparison (coqdoc).xclerc
2013-10-14Getting rid of the use of deprecated elements (from the OCaml standard library).xclerc
2013-10-10Document: undoing inside a focused zone does not require unfocusinggareuselesinge
2013-10-10fake_ide: ported to Document + 2 tests for editing a proof (locally)gareuselesinge
2013-10-07fake_ide: speak the new protocolgareuselesinge
2013-09-30fake_ide: call Coq.init as the first actiongareuselesinge
2013-09-30fake_ide ported to the new protocol (FIXME tests fail)gareuselesinge
2013-09-19Get rid of the uses of deprecated OCaml elements (still remaining compatible ...xclerc
2013-08-22Misc changes around coqtop.ml :letouzey
2013-08-19Modulification and removing of structural equality in Stateid.ppedrot
2013-08-08State Transaction Machinegareuselesinge
2013-05-06fake_ide: xml parser does not check for EOFgareuselesinge
2013-05-06New module Xml_printer (dual to Xml_parser)gareuselesinge
2013-04-25Coqide: new feedback mechanism for structured contentgareuselesinge
2013-04-19Fix compilation of fake_idegareuselesinge
2013-04-18coqc and coqmktop migrated in tools/, get rid of scripts/ subdirletouzey
2013-04-18Coqdep: add an -exclude-dir option (wish mentionned in #3025)letouzey
2013-04-17Renaming SearchAbout into Search and Search into SearchHead.herbelin
2013-03-13Restrict (try...with...) to avoid catching critical exn (part 15)letouzey
2013-03-13Restrict (try...with...) to avoid catching critical exn (part 13)letouzey
2013-03-12invalid_arg instead of raise (Invalid_argement ...)letouzey
2013-02-18use List.rev_map whenever possibleletouzey
2013-01-22Revert "remove -rectypes except for term.ml"mdenes
2013-01-18I forget to use git log before git svn dcommit ...pboutill
2013-01-18Revert "coq_makefile: use coqdep instead of ocamldep on .ml4 files"pboutill
2013-01-07Coq_makefile: quoting pathspboutill
2013-01-07Coq_makefile: -extra & -phony-extra for user defined makefile rulepboutill
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 16:23:48 +0000