aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
Commit message (Expand)AuthorAge
* This commit adds full universe polymorphism and fast projections to Coq.Gravatar Matthieu Sozeau2014-05-06
* Reduce the amount of "Coq <" prompts generated by coq_tex. (Partial fix for b...Gravatar Guillaume Melquiond2014-04-28
* Prevent coq_tex from generating curly quotes. (Partial fix for bug #2964)Gravatar Guillaume Melquiond2014-04-28
* Recognize Parameters as a command in coqdoc. (Fix for bug #3279)Gravatar Guillaume Melquiond2014-04-28
* Mark lazymatch as an Ltac keyword for coqdoc. (Fix for bug #3276)Gravatar Guillaume Melquiond2014-04-28
* Fixing coqdoc bug #3292 (unfortunate collision betweens the relativeGravatar Hugo Herbelin2014-04-28
* coq_makefile: -I for the new stm/ dirGravatar Enrico Tassi2014-04-25
* Dumpglob: factor out reference dumping.Gravatar Carst Tankink2014-04-10
* Adapt coq_makefile build rules to new -R -I semanticGravatar Pierre Boutillier2014-04-09
* Add tool for fully qualifying Require statements.Gravatar Guillaume Melquiond2014-04-06
* Recognize "Instance" in coqwc. (Fix for bug #2551)Gravatar Guillaume Melquiond2014-04-04
* Prevent verbatim text from leaking out of comments. (See bug #2882)Gravatar Guillaume Melquiond2014-04-04
* Support other forms of "Proof" in coqwc. (Fix for bug #2735)Gravatar Guillaume Melquiond2014-04-04
* Newline on -slash warning in coqdep.Gravatar Pierre-Marie Pédrot2014-03-28
* fake_ide: fix compilationGravatar Enrico Tassi2014-03-12
* Remove many superfluous 'open' indicated by ocamlc -w +33Gravatar Pierre Letouzey2014-03-05
* Set officially the minimal OCaml requirement to 3.12.1Gravatar Pierre Letouzey2014-03-02
* Fix compilation of coq and plugins using coq_makefile under cygwinGravatar Enrico Tassi2014-02-28
* coq_makefile: new target vi2voGravatar Enrico Tassi2014-02-26
* vi2vo: new flag -schedule-vi2voGravatar Enrico Tassi2014-02-26
* fake_ide: ported to spawnGravatar Enrico Tassi2014-02-10
* Coqmktop without Sys.command, changes in ./configure -*byteflags optionsGravatar Pierre Letouzey2014-01-30
* Get rid of two utility files, obsolete now that configure is a .mlGravatar Pierre Letouzey2014-01-30
* -schedule-vi-checking ported to spawnGravatar Enrico Tassi2014-01-26
* Using full paths in coqdep -dumpgraph.Gravatar Pierre-Marie Pédrot2014-01-19
* Fixing coqdep graph printing. The transitive reduction algorithm was bugged.Gravatar Pierre-Marie Pédrot2014-01-19
* Implementing transitive reduction in the dependency graph printingGravatar Pierre-Marie Pédrot2014-01-16
* Declared ML Module are not uncapitalized/capitalized/uncapitalized/...Gravatar Pierre Boutillier2014-01-13
* Adding a -dumpgraph option to Coqdep that output the graph dependency of theGravatar Pierre-Marie Pédrot2014-01-06
* Paral-ITP: cleanup of command line flags and more conservative defaultGravatar Enrico Tassi2014-01-05
* coqtop: -check-vi-tasks and -schedule-vi-checkingGravatar Enrico Tassi2014-01-05
* .vi files: .vo files without proofsGravatar Enrico Tassi2014-01-04
* Adding -bt to coqc.Gravatar Pierre-Marie Pédrot2013-12-22
* coqc: execvp is now available even on win32Gravatar Pierre Letouzey2013-12-20
* coqmktop without Unix (simpler all_subdirs)Gravatar Pierre Letouzey2013-12-20
* Warning removalGravatar Pierre Boutillier2013-12-20
* Coqdep always uses / as dir_sepGravatar Pierre Boutillier2013-12-20
* Fix make install after 3e972b3ff8e532be233f70567c87512324c99b4eGravatar Pierre Boutillier2013-12-17
* Renaming elisp files to avoid conflict with pg in distribs.Gravatar Pierre Courtieu2013-12-10
* Revert the two last commits. My bad, I messed up git-svn commands...Gravatar ppedrot2013-10-29
* Printing heap on every processed sentence.Gravatar ppedrot2013-10-29
* Avoid polymorphic comparison (coqdoc).Gravatar xclerc2013-10-14
* Getting rid of the use of deprecated elements (from the OCaml standard library).Gravatar xclerc2013-10-14
* Document: undoing inside a focused zone does not require unfocusingGravatar gareuselesinge2013-10-10
* fake_ide: ported to Document + 2 tests for editing a proof (locally)Gravatar gareuselesinge2013-10-10
* fake_ide: speak the new protocolGravatar gareuselesinge2013-10-07
* fake_ide: call Coq.init as the first actionGravatar gareuselesinge2013-09-30
* fake_ide ported to the new protocol (FIXME tests fail)Gravatar gareuselesinge2013-09-30
* Get rid of the uses of deprecated OCaml elements (still remaining compatible ...Gravatar xclerc2013-09-19
* Misc changes around coqtop.ml :Gravatar letouzey2013-08-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-02 20:22:48 +0000