| Age | Commit message (Expand) | Author |
|---|
| 2012-09-25 | Added a ml-dot option to Makefile to generate dependency graph of core modules | ppedrot |
| 2012-09-25 | Fixing #2865. | ppedrot |
| 2012-09-24 | Fixing a bug introduced in Funind plugin when reorganizing the CList | ppedrot |
| 2012-09-22 | Fix use of $(HASNATDYNLINK) in coq_makefile output | glondu |
| 2012-09-20 | Avoid generating ide/coqide_main*.ml as cleartext (except if READABLE_ML4 is ... | letouzey |
| 2012-09-20 | Remove broken makefile option NO_RECOMPILE_LIB | letouzey |
| 2012-09-20 | Fixing Show Script issues. | ppedrot |
| 2012-09-18 | Coq_makefile fixups | pboutill |
| 2012-09-18 | More cleaning in CArray... | ppedrot |
| 2012-09-18 | More cleanup of Util: utf8 aspects moved to a new file unicode.ml | letouzey |
| 2012-09-18 | Cleaning interface of Util. | ppedrot |
| 2012-09-17 | More cleaning on Utils and CList. Some parts of the code being | ppedrot |
| 2012-09-17 | MacOS integration uses lablgtkosx >= 1.1 | pboutill |
| 2012-09-17 | More type-safe interface to Coq XML API. | ppedrot |
| 2012-09-16 | Move reflexivity, symmetry, and transitivity, next to f_equal, in the documen... | gmelquio |
| 2012-09-16 | Some more fixes to tactic documentation. | gmelquio |
| 2012-09-16 | Beautify tactic documentation a bit more. | gmelquio |
| 2012-09-16 | Remove superfluous spaces and commas in tactic documentation. | gmelquio |
| 2012-09-16 | Fix index generation for the pdf document. | gmelquio |
| 2012-09-15 | Fix failure to compile doc/stdlib/Library.tex. | gmelquio |
| 2012-09-15 | Port rewrites of tactic documentation from branch 8.4. | gmelquio |
| 2012-09-15 | Some documentation and cleaning of CList and Util interfaces. | ppedrot |
| 2012-09-14 | As r15801: putting everything from Util.array_* to CArray.*. | ppedrot |
| 2012-09-14 | Added some tricky tail-rec versions of List functions to CList | ppedrot |
| 2012-09-14 | Partial revert of Yann commit in order to use CLib.List when opening | ppedrot |
| 2012-09-14 | Moving Utils.list_* to a proper CList module, which includes stdlib | ppedrot |
| 2012-09-14 | This patch removes unused "open" (automatically generated from | regisgia |
| 2012-09-14 | lib/Pp: | regisgia |
| 2012-09-14 | kernel/Term: | regisgia |
| 2012-09-14 | The new ocaml compiler (4.00) has a lot of very cool warnings, | regisgia |
| 2012-09-13 | Made Pp.std_ppcmds opaque. | ppedrot |
| 2012-09-12 | Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRS | pboutill |
| 2012-09-10 | Moved Pp to CLib. In particular, Pp does not depend on CAMLP4/5 | ppedrot |
| 2012-09-10 | Fixed #2893. | ppedrot |
| 2012-09-10 | Added Print Assumptions command to CoqIDE | ppedrot |
| 2012-09-09 | When asked for a SearchAbout request, Coq now returns a more precise | ppedrot |
| 2012-09-09 | Fixed bug #2895 | ppedrot |
| 2012-09-07 | Makefile: revised install-coqide rule | letouzey |
| 2012-09-07 | Avoid [Loading ML file ...] messages when launching coqtop | letouzey |
| 2012-09-07 | Coqdoc: fix --utf8 bug for pretty printing | pboutill |
| 2012-09-06 | Added a comment/uncomment command to CoqIDE | ppedrot |
| 2012-09-06 | Fix computation of obligations for mutually recursive definitions. | msozeau |
| 2012-09-06 | Nice output of SearchAbout command in CoqIDE | ppedrot |
| 2012-09-05 | Obsolete syntax in documentation of Solve Obligation commands. | ppedrot |
| 2012-09-05 | Rationalized the behaviour of "Next Obligation" and "Admit Obligations" | ppedrot |
| 2012-09-05 | A few fixes in configure file: | herbelin |
| 2012-09-04 | Fix coqide compilation with lablgtk 2.16 | pboutill |
| 2012-09-04 | Coqide Fix highlighting of Extraction, Import, Variables | pboutill |
| 2012-09-04 | test-suite: fix grep rule for output tests | pboutill |
| 2012-09-04 | test-suite uses coqtop instead of coqtop.byte | pboutill |
