| Age | Commit message (Expand) | Author |
|---|
| 2012-10-02 | avoid referring to Term in constrexpr.mli and glob_term.mli | letouzey |
| 2012-10-02 | New makefile shortcuts miniopt and minibyte for coqtop + plugins | letouzey |
| 2012-10-02 | Use the library function List.substract in prev commit | letouzey |
| 2012-10-01 | Added a new tactical infoH tac, that displays the names of hypothesis created... | courtieu |
| 2012-10-01 | Ltac repeat is in fact already doing progress | letouzey |
| 2012-09-27 | Default hashconsing of identifiers. | ppedrot |
| 2012-09-26 | Reusing the Hashset data structure in Hashcons. Hopefully, this should | ppedrot |
| 2012-09-26 | Incorrect comment | msozeau |
| 2012-09-26 | Cleaning, renaming obscure functions and documenting in Hashcons. | ppedrot |
| 2012-09-25 | Fixing ocamldoc errors | ppedrot |
| 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 |
