| Age | Commit message (Expand) | Author |
|---|
| 2012-08-23 | No more states/initial.coq, instead coqtop now requires Prelude.vo | letouzey |
| 2012-08-23 | No more coqtop.opt, produce directly a coqtop binary | letouzey |
| 2012-08-23 | No need anymore to refer to COQLIB in ocamldebug-coq | letouzey |
| 2012-08-23 | Revert "when cross-compiling with mingw32, let's fix the Filename.dir_sep" | letouzey |
| 2012-08-23 | Configure + Makefile : simplification when -local | letouzey |
| 2012-08-23 | configure: get rid of the -src option and of ${COQSRC} | letouzey |
| 2012-08-23 | configure: no more need for ocamlmktop | letouzey |
| 2012-08-23 | Extraction: document Separate Extraction and KeepSingleton | letouzey |
| 2012-08-23 | Simpler configure: gcc via ocamlc, no ranlib (done by ocamlmklib) | letouzey |
| 2012-08-23 | Port from 8.4 branch some build fixes concerning win32 : | letouzey |
| 2012-08-22 | Do not forget to build the unicode libraries, necessary to compile and launch... | msozeau |
| 2012-08-11 | Improving rendering of ldots in doc (partially done, there are too | herbelin |
| 2012-08-11 | Some extra INCOMPATIBILITIES since 8.4. | herbelin |
| 2012-08-11 | Added support for option Local (at module level) in Tactic Notation. | herbelin |
| 2012-08-11 | Some changes in CHANGES. | herbelin |
| 2012-08-11 | Improving rendering of ...-separated lists and sequences in reference | herbelin |
| 2012-08-11 | fast bitwise operations (lor,land,lxor) on int31 and BigN | letouzey |
| 2012-08-10 | Bug 2861 : ocamlopt but no lablgtk2.cmxa problem | pboutill |
| 2012-08-10 | Fixes bug #2857. | aspiwack |
| 2012-08-09 | Unification in Evar_conv uses an abstract machine state | pboutill |
| 2012-08-08 | Updating headers. | herbelin |
| 2012-08-08 | Cleaning CHANGES consistently with v8.4. Documenting COMPATIBILITY. | herbelin |
| 2012-08-08 | Updating version numbers. | herbelin |
| 2012-08-08 | Documenting eta-conversion. | herbelin |
| 2012-08-08 | More standard layout for \lambda in chapter CIC. | herbelin |
| 2012-08-08 | Fixup for macOS 10.8 & Ocaml 4.0 | pboutill |
| 2012-08-07 | Typo in r15654 | herbelin |
| 2012-08-07 | Updating credits for final 8.4 | herbelin |
| 2012-08-07 | Avoid Pp.std_ppcmds in Misctypes.sort_info | letouzey |
| 2012-08-07 | configure: two minor fixes for win32 | letouzey |
| 2012-08-06 | Vecnacentries.dump_global silently ignores exceptions | pboutill |
| 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-06 | Win32: some quote fixes | letouzey |
| 2012-08-06 | MSetRBT: a tail-recursive plength | letouzey |
| 2012-08-06 | Try to make the use of Unix.lockf in micromega compatible with Win32 | letouzey |
| 2012-08-05 | Dump references in Extraction | pboutill |
| 2012-08-05 | Dump references in reduction tactics | pboutill |
| 2012-08-05 | Coqdoc: More keywords, better special char escape, special case for "in *" | pboutill |
| 2012-08-05 | Dump references | pboutill |
| 2012-08-05 | More entries in the index | pboutill |
| 2012-08-05 | Dump references in Reset | pboutill |
| 2012-08-05 | Revert "Fixing include printers" | pboutill |
| 2012-08-03 | Fixing include printers | ppedrot |
| 2012-08-03 | Document the command Add/Remove Search Blacklist | letouzey |
| 2012-08-03 | re-sync CHANGES with 8.4 | letouzey |
| 2012-08-02 | Bigint: new functions of_int and to_int, 2nd arg of pow in int | letouzey |
| 2012-07-31 | Bigint: adds a missing -1 in hugo's last commit 15659 | letouzey |
| 2012-07-30 | Bigint : better ensure canonicity of arrays of int blocks | letouzey |
| 2012-07-30 | Bigint: avoid dependency over Pp | letouzey |
