coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	fast bitwise operations (lor,land,lxor) on int31 and BigN	letouzey	2012-08-11
*	Bug 2861 : ocamlopt but no lablgtk2.cmxa problem	pboutill	2012-08-10
*	Fixes bug #2857.	aspiwack	2012-08-10
*	Unification in Evar_conv uses an abstract machine state	pboutill	2012-08-09
*	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-08
*	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-07
*	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-06
*	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-05
*	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-03
*	Bigint: new functions of_int and to_int, 2nd arg of pow in int	letouzey	2012-08-02
*	Bigint: adds a missing -1 in hugo's last commit 15659	letouzey	2012-07-31
*	Bigint : better ensure canonicity of arrays of int blocks	letouzey	2012-07-30
*	Bigint: avoid dependency over Pp	letouzey	2012-07-30
*	Better fixing propagation of carry in sub_mult used for euclidian	herbelin	2012-07-29
*	Fixing #2836 (materialize_evar might refine as a side effect the	herbelin	2012-07-29
*	documentation of bullets (forward port from v8.4).	courtieu	2012-07-25
*	Fix eta contraction in Reductionops	pboutill	2012-07-25
*	Bug 2706: Coqide and layout that use special modifiers	pboutill	2012-07-25
*	Same for Fin	pboutill	2012-07-25
*	Fixing bug #2835 (the rationale for printing notations was not	herbelin	2012-07-21
*	Improving management of notations with binders (see #2708 where a	herbelin	2012-07-21
*	Fixing unchecked overflow in sub_mult used for euclidian division over	herbelin	2012-07-21
*	Slight modification to the printing of goals when in emacs mode.	courtieu	2012-07-21
*	Reductionops refactoring	pboutill	2012-07-20
*	Fixup implicits in patterns & notations	pboutill	2012-07-20
*	Vector equalities first stuff	pboutill	2012-07-20
*	Put Option in Clib	pboutill	2012-07-20
*	Fixing test-suite	pboutill	2012-07-20
*	Let coqtop be a little more stupid in hint answer: otherwise, that	ppedrot	2012-07-20