| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2011-11-25 | Separated the toplevel interface into a purely declarative module with associ... | ppedrot |
| 2011-11-20 | Teach coq_makefile how to install into XDG_DATA_HOME. | pboutill |
| 2011-11-20 | Add support for XDG_DATA_HOME and XDG_DATA_DIRS. | pboutill |
| 2011-11-20 | coq_makefile: Don't install with +x. | pboutill |
| 2011-11-20 | coq_makefile: Add Makefile variables specifying install | pboutill |
| 2011-11-16 | Fixing beautification of "thm_token" (missing space) + improvements. | herbelin |
| 2011-11-06 | Also sprach CoqIDE (in XML) | ppedrot |
| 2011-10-29 | Added Add LoadPath in coqdep lexer (but not in coqdep itself by lack of time). | herbelin |
| 2011-10-29 | Fixed broken globalization of identifiers containing utf8 letters | herbelin |
| 2011-10-29 | Added checksums to glob files and warned about possibly missing | herbelin |
