aboutsummaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Expand)Author
2014-05-26make coqdep canonicalize paths from the command lineGregory Malecha
2014-05-17Fixing coqdep_boot warning relative to unknown ML files that were in tactics.Pierre-Marie Pédrot
2014-05-12Fixing the undocumented -dumpgraphbox option of coqdep.Pierre-Marie Pédrot
2014-05-06This commit adds full universe polymorphism and fast projections to Coq.Matthieu Sozeau
2014-04-28Reduce the amount of "Coq <" prompts generated by coq_tex. (Partial fix for b...Guillaume Melquiond
2014-04-28Prevent coq_tex from generating curly quotes. (Partial fix for bug #2964)Guillaume Melquiond
2014-04-28Recognize Parameters as a command in coqdoc. (Fix for bug #3279)Guillaume Melquiond
2014-04-28Mark lazymatch as an Ltac keyword for coqdoc. (Fix for bug #3276)Guillaume Melquiond
2014-04-28Fixing coqdoc bug #3292 (unfortunate collision betweens the relativeHugo Herbelin
2014-04-25coq_makefile: -I for the new stm/ dirEnrico Tassi
2014-04-10Dumpglob: factor out reference dumping.Carst Tankink
2014-04-09Adapt coq_makefile build rules to new -R -I semanticPierre Boutillier
2014-04-06Add tool for fully qualifying Require statements.Guillaume Melquiond
2014-04-04Recognize "Instance" in coqwc. (Fix for bug #2551)Guillaume Melquiond
2014-04-04Prevent verbatim text from leaking out of comments. (See bug #2882)Guillaume Melquiond
2014-04-04Support other forms of "Proof" in coqwc. (Fix for bug #2735)Guillaume Melquiond
2014-03-28Newline on -slash warning in coqdep.Pierre-Marie Pédrot
2014-03-12fake_ide: fix compilationEnrico Tassi
2014-03-05Remove many superfluous 'open' indicated by ocamlc -w +33Pierre Letouzey
2014-03-02Set officially the minimal OCaml requirement to 3.12.1Pierre Letouzey
2014-02-28Fix compilation of coq and plugins using coq_makefile under cygwinEnrico Tassi
2014-02-26coq_makefile: new target vi2voEnrico Tassi
2014-02-26vi2vo: new flag -schedule-vi2voEnrico Tassi
2014-02-10fake_ide: ported to spawnEnrico Tassi
2014-01-30Coqmktop without Sys.command, changes in ./configure -*byteflags optionsPierre Letouzey
2014-01-30Get rid of two utility files, obsolete now that configure is a .mlPierre Letouzey
2014-01-26-schedule-vi-checking ported to spawnEnrico Tassi
2014-01-19Using full paths in coqdep -dumpgraph.Pierre-Marie Pédrot
2014-01-19Fixing coqdep graph printing. The transitive reduction algorithm was bugged.Pierre-Marie Pédrot
2014-01-16Implementing transitive reduction in the dependency graph printingPierre-Marie Pédrot
2014-01-13Declared ML Module are not uncapitalized/capitalized/uncapitalized/...Pierre Boutillier
2014-01-06Adding a -dumpgraph option to Coqdep that output the graph dependency of thePierre-Marie Pédrot
2014-01-05Paral-ITP: cleanup of command line flags and more conservative defaultEnrico Tassi
2014-01-05coqtop: -check-vi-tasks and -schedule-vi-checkingEnrico Tassi
2014-01-04.vi files: .vo files without proofsEnrico Tassi
2013-12-22Adding -bt to coqc.Pierre-Marie Pédrot
2013-12-20coqc: execvp is now available even on win32Pierre Letouzey
2013-12-20coqmktop without Unix (simpler all_subdirs)Pierre Letouzey
2013-12-20Warning removalPierre Boutillier
2013-12-20Coqdep always uses / as dir_sepPierre Boutillier
2013-12-17Fix make install after 3e972b3ff8e532be233f70567c87512324c99b4ePierre Boutillier
2013-12-10Renaming elisp files to avoid conflict with pg in distribs.Pierre Courtieu
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 09:23:15 +0000