| Commit message (Expand) | Author | Age |
|---|
| * | Coq_makefile fixups |  pboutill | 2012-09-18 |
| * | More type-safe interface to Coq XML API. |  ppedrot | 2012-09-17 |
| * | 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-14 |
| * | Coqdoc: fix --utf8 bug for pretty printing | pboutill | 2012-09-07 |
| * | 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-23 |
| * | Updating headers. |  herbelin | 2012-08-08 |
| * | Coqdoc inlined verbatim_char in latex | pboutill | 2012-08-06 |
| * | Add inline verbatim (<</>>), quotes (") and urls ({{url} name}) markup/typese... | pboutill | 2012-08-06 |
| * | Coqdoc: More keywords, better special char escape, special case for "in *" | pboutill | 2012-08-05 |
| * | More entries in the index | pboutill | 2012-08-05 |
| * | Various minor fixes to coqdoc from A. Chlipala. |  msozeau | 2012-07-18 |
| * | Fixed fake_ide test-suite. | ppedrot | 2012-07-09 |
| * | Fixing fake_ide | ppedrot | 2012-06-29 |
| * | 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-22 |
| * | coq_makefile fixup | pboutill | 2012-06-14 |
| * | New step in purpose to get both camlp4 and camlp5 compatible coq_makefiles | pboutill | 2012-06-12 |
| * | Coq_makefile bug for plugins | pboutill | 2012-05-31 |
| * | place all pretty-printing files in new dir printing/ | letouzey | 2012-05-29 |
| * | Bugs revealed by playing with contribs | pboutill | 2012-05-25 |
| * | 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-23 |
| * | when cross-compiling with mingw32, let's fix the Filename.dir_sep | letouzey | 2012-05-15 |
| * | lib directory is cut in 2 cma. | pboutill | 2012-04-12 |
| * | Bug 2709: Duplication in coqdoc index entries | pboutill | 2012-03-19 |
| * | Coq_makefile: Add of extra options by default | pboutill | 2012-02-29 |
| * | Fix handling of space after "Notation" or "where", add missing keywords. | msozeau | 2012-02-16 |
| * | Coqdoc: Fixing missing newline when using "Proof term." | herbelin | 2011-12-26 |
| * | 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-12-17 |
| * | 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-25 |
| * | 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-20 |
| * | Fixing beautification of "thm_token" (missing space) + improvements. | herbelin | 2011-11-16 |
| * | Also sprach CoqIDE (in XML) | ppedrot | 2011-11-06 |
| * | 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 | 2011-10-29 |
| * | Coq_makefile handles .mlpack files | pboutill | 2011-10-26 |
pboutill
ppedrot
regisgia
letouzey
herbelin
msozeau