| Age | Commit message (Expand) | Author |
|---|
| 2012-10-29 | coqdep: honor dependencies of "Load"ed files | gareuselesinge |
| 2012-10-29 | Allow running coq-tex in win32 (fix #2921) | letouzey |
| 2012-10-16 | Continuing r15885 fixing coqdoc index bugs introduced in r14624 and r15053. | herbelin |
| 2012-10-16 | Removed dead code about linking Module names in coqdoc. | herbelin |
| 2012-10-15 | Coq_makefile: easier compilation with timings info (from r15850) | pboutill |
| 2012-10-15 | Fixing coqdoc index bugs introduced in r14624 and r15053. Revision r14624 int... | pboutill |
| 2012-10-08 | fix r15860 : no slash after $(COQLIB) | letouzey |
| 2012-10-06 | still some more dead code removal | letouzey |
| 2012-10-06 | remove -rectypes except for term.ml | letouzey |
| 2012-10-05 | Repair the configure after Hugo's last "repair" ;-) | letouzey |
| 2012-09-22 | Fix use of $(HASNATDYNLINK) in coq_makefile output | glondu |
| 2012-09-18 | Coq_makefile fixups | pboutill |
| 2012-09-17 | More type-safe interface to Coq XML API. | ppedrot |
| 2012-09-14 | Moving Utils.list_* to a proper CList module, which includes stdlib | ppedrot |
| 2012-09-14 | The new ocaml compiler (4.00) has a lot of very cool warnings, | regisgia |
| 2012-09-07 | Coqdoc: fix --utf8 bug for pretty printing | pboutill |
| 2012-08-23 | No more states/initial.coq, instead coqtop now requires Prelude.vo | letouzey |
| 2012-08-23 | Revert "when cross-compiling with mingw32, let's fix the Filename.dir_sep" | letouzey |
| 2012-08-08 | Updating headers. | herbelin |
| 2012-08-06 | Coqdoc inlined verbatim_char in latex | pboutill |
| 2012-08-06 | Add inline verbatim (<</>>), quotes (") and urls ({{url} name}) markup/typese... | pboutill |
| 2012-08-05 | Coqdoc: More keywords, better special char escape, special case for "in *" | pboutill |
| 2012-08-05 | More entries in the index | pboutill |
| 2012-07-18 | Various minor fixes to coqdoc from A. Chlipala. | msozeau |
| 2012-07-09 | Fixed fake_ide test-suite. | ppedrot |
| 2012-06-29 | Fixing fake_ide | ppedrot |
| 2012-06-22 | Coq_makefile: make uninstall target | pboutill |
| 2012-06-22 | Install is rather beautiful | pboutill |
| 2012-06-22 | inthe middle one more time | pboutill |
| 2012-06-22 | Refactoring seems OK | pboutill |
| 2012-06-22 | Coq_makefile: separate finding what to install where from generating the scri... | pboutill |
| 2012-06-14 | coq_makefile fixup | pboutill |
| 2012-06-12 | New step in purpose to get both camlp4 and camlp5 compatible coq_makefiles | pboutill |
| 2012-05-31 | Coq_makefile bug for plugins | pboutill |
| 2012-05-29 | place all pretty-printing files in new dir printing/ | letouzey |
| 2012-05-25 | Bugs revealed by playing with contribs | pboutill |
| 2012-05-23 | Revert copy/pasted function in to minilib thanks to clib.cma | pboutill |
| 2012-05-23 | configure: add support of MinGW Win32 environment (fix #2526) | letouzey |
| 2012-05-15 | when cross-compiling with mingw32, let's fix the Filename.dir_sep | letouzey |
| 2012-04-12 | lib directory is cut in 2 cma. | pboutill |
| 2012-03-19 | Bug 2709: Duplication in coqdoc index entries | pboutill |
| 2012-02-29 | Coq_makefile: Add of extra options by default | pboutill |
| 2012-02-16 | Fix handling of space after "Notation" or "where", add missing keywords. | msozeau |
| 2011-12-26 | Coqdoc: Fixing missing newline when using "Proof term." | herbelin |
| 2011-12-17 | Coq_makefile: "beautify" target | pboutill |
| 2011-12-17 | Coqdep adds %.v.beautified on the left of the ':' when it generates %.v depen... | pboutill |
| 2011-12-17 | Coq_makefile: "validate" target calls the checker over all vo. | pboutill |
| 2011-12-17 | Coq_makefile: section refactoring and no variables for OCaml if no ml* files ... | pboutill |
| 2011-12-17 | Coq_makefile: if no -install is provided, install location is set by a Makefi... | pboutill |
| 2011-11-25 | Added an API call to retrieve and change the option state | ppedrot |
