coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
\| *	Fix some typos.	Guillaume Melquiond	2015-10-13
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-12
\|\\|
\| *	Remove code that was already commented out.	Maxime Dénès	2015-10-12
\| *	Univs: be more restrictive for template polymorphic constants: only	Matthieu Sozeau	2015-10-12
\| *	Fix Definition id := Eval <redexpr> in by passing the right universe	Matthieu Sozeau	2015-10-12
\| *	Fix rechecking of applications: it can be given ill-typed terms. Fixes math-c...	Matthieu Sozeau	2015-10-12
\| *	Gather VM tags in Cbytecodes.	Maxime Dénès	2015-10-12
\| *	Adding test for bug #4366.	Pierre-Marie Pédrot	2015-10-11
\| *	Fixing bug #4366: Conversion tactics recheck uselessly convertibility.	Pierre-Marie Pédrot	2015-10-11
\| *	Fixing test-suite	Hugo Herbelin	2015-10-11
\| *	Documenting matching under binders.	Hugo Herbelin	2015-10-11
\| *	Fixing untimely unexpected warning "Collision between bound variables" (#4317).	Hugo Herbelin	2015-10-11
\| *	Refining 0c320e79ba30 in fixing interpretation of constr under binders	Hugo Herbelin	2015-10-11
\| *	Fixing obviously untested fold_glob_constr and iter_glob_constr.	Hugo Herbelin	2015-10-11
\| *	Constr_matching: renaming misleading name stk into ctx.	Hugo Herbelin	2015-10-11
\| *	Fix a few latex errors in documentation of Proof Using (e.g. \tt*).	Guillaume Melquiond	2015-10-10
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-10
\|\\|
\| *	Complete handling of primitive projections in VM.	Maxime Dénès	2015-10-09
\| *	Code cleaning in VM (with Benjamin).	Maxime Dénès	2015-10-09
\| *	Minor typo in universe polymorphism doc.	Maxime Dénès	2015-10-09
\| *	Refine fix for handling of the universe contexts of hints, depending on	Matthieu Sozeau	2015-10-09
\| *	Fix CFGV contrib: handling of global hints introducing global universes.	Matthieu Sozeau	2015-10-09
\| *	Fix Next Obligation to not raise an anomaly in case of mutual	Matthieu Sozeau	2015-10-09
\| *	Fix inference of return clause raising a type error.	Matthieu Sozeau	2015-10-09
\| *	STM: Work around an occasional crash in dot (debug output)	Alec Faithfull	2015-10-09
\| *	TQueue: Allow some tasks to be saved when clearing a TQueue	Alec Faithfull	2015-10-09
\| *	TQueue: Expose the length of TQueues	Alec Faithfull	2015-10-09
\| *	STM: Added functions for saving and restoring the internal state	Alec Faithfull	2015-10-09
\| *	STM: Pass exception information to unreachable_state_hook functions	Alec Faithfull	2015-10-09
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-09
\|\\|
\| *	Remove misleading warning (Close #4365)	Enrico Tassi	2015-10-09
\| *	Univs: fix bug #3807	Matthieu Sozeau	2015-10-08
\| *	Allowing empty bound universe variables.	Pierre-Marie Pédrot	2015-10-08
\| *	Univs: fix bug #4161.	Matthieu Sozeau	2015-10-08
\| *	Axioms now support the universe binding syntax.	Pierre-Marie Pédrot	2015-10-08
\| *	f_equal fix continued: do a refresh_universes as before.	Matthieu Sozeau	2015-10-08
\| *	aux_file: export API to ease writing of a Proof Using annotator.	Enrico Tassi	2015-10-08
\| *	Proof using: let-in policy, optional auto-clear, forward closure*	Enrico Tassi	2015-10-08
\| *	term_typing: strengthen discharging code	Enrico Tassi	2015-10-08
\| *	CThread: blocking read + threads now works	Enrico Tassi	2015-10-08
\| *	Spawn: use each socket exclusively for writing or reading	Enrico Tassi	2015-10-08
\| *	STM: for PIDE based UIs, edit_at requires no Reach.known_state	Enrico Tassi	2015-10-08
\| *	Future: make not-here/not-ready messages customizable	Enrico Tassi	2015-10-08
\| *	STM: fix backtrace handling	Enrico Tassi	2015-10-08
\| *	Goptions: new value type: optional string	Enrico Tassi	2015-10-08
\| *	Remove the "exists" overrides from Program. (Fix bug #4360)	Guillaume Melquiond	2015-10-07
\| *	Fix bug #4069: f_equal regression.	Matthieu Sozeau	2015-10-07
\| *	Univs: fix FingerTree contrib.	Matthieu Sozeau	2015-10-07
\| *	Test for record syntax parsing.	Pierre-Marie Pédrot	2015-10-07
\| *	Record fields accept an optional final semicolon separator.	Pierre-Marie Pédrot	2015-10-07