coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Modulification of identifier	ppedrot	2012-12-14
*	Fixing CoqIDE compilation	ppedrot	2012-12-14
*	Moving hcons_string to String namespace.	ppedrot	2012-12-14
*	Moved Stringset and Stringmap to String namespace.	ppedrot	2012-12-14
*	Moved Intset and Intmap to Int namespace.	ppedrot	2012-12-14
*	Implemented a full-fledged equality on [constr_expr]. By the way,	ppedrot	2012-12-14
*	Using library string functions.	ppedrot	2012-12-13
*	Documented CString.	ppedrot	2012-12-13
*	Renamed Option.Misc.compare to the more uniform Option.equal.	ppedrot	2012-12-13
*	Wg_ScriptView: avoid invalid iters during completion	letouzey	2012-12-11
*	Coqide: allow editing even during a backtrack	letouzey	2012-12-11
*	Coq_lex: direct accounting of utf8 extra bytes in offsets	letouzey	2012-12-11
*	Coqide: restore the tag removal of copy-pasted zones	letouzey	2012-12-10
*	Coqide: some more refactoring to lighten coqide.ml	letouzey	2012-12-10
*	Coq_makefile: Better rule for subdirs when the subdir does not exist	pboutill	2012-12-10
*	Tiny fix of r16049	pboutill	2012-12-10
*	* Implementing the "union by rank" optimisation in univ.ml	pboutill	2012-12-10
*	Ensure that a function declared with a label is used with it	letouzey	2012-12-08
*	Finish patch for Hint Resolve, stopping to generate new constant names for	msozeau	2012-12-08
*	Coqide: use labels for all labelled functions	letouzey	2012-12-08
*	Coqide: handle possible fragmentation in xml answers	letouzey	2012-12-08
*	Coqide: get rid of threads, use gtk asynchronous i/o instead	letouzey	2012-12-08
*	Removed a unused function in Pp	ppedrot	2012-12-08
*	Small optimization in Closure: replaced an index list with an array.	ppedrot	2012-12-08
*	Coqide: more cleanup (buffers)	letouzey	2012-12-07
*	Coqide: stylistic improvements in analyzed_view initializer	letouzey	2012-12-07
*	Coqide: cleanup concerning insert_text signal	letouzey	2012-12-07
*	Nicer code around Coq_lex	letouzey	2012-12-07
*	Ideutils: simpler conversion from byte offset to utf8 char offset	letouzey	2012-12-07
*	Coqide: missing arg when calling process_next_phrase	letouzey	2012-12-07
*	Envars: repair failed compilation after yann's commits	letouzey	2012-12-07
*	Coqide: minor cleanup around tag_on_insert	letouzey	2012-12-07
*	Coqide: better removal of the error red tag	letouzey	2012-12-07
*	Coqide: better handling of gtk messages + fix win32 stdout/stderr rerouting	letouzey	2012-12-07
*	Coqide: no reason to ignore Ctrl-C	letouzey	2012-12-07
*	Coqide: use "prefs" ident instead of "current" (vague when unqualified)	letouzey	2012-12-07
*	Coqide: opening non-existing files won't create them immediately anymore	letouzey	2012-12-07
*	Coqide: nicer creation of timers	letouzey	2012-12-07
*	Coqide: code cleanup	letouzey	2012-12-07
*	* lib/Envars:	regisgia	2012-12-07
*	* lib/Envars:	regisgia	2012-12-07
*	Revert "* tools/Coq_makefile:"	regisgia	2012-12-07
*	* tools/Coq_makefile	regisgia	2012-12-07
*	* tools/Coq_makefile:	regisgia	2012-12-07
*	Restoring flush of Welcome message lost in r15148	herbelin	2012-12-06
*	Making subset_eq_compat applying over more general domain "Type" (see #2938).	herbelin	2012-12-05
*	Backtrack on activating scopes with type casts (was r15978).	herbelin	2012-12-04
*	Removed Compat.Exc_located outside of compat.ml4, as a consequence of	herbelin	2012-12-04
*	Early translation of camlp4/camlp5 located errors into coq-located	herbelin	2012-12-04
*	Low-level hack to get some more informative message from dynamic loading errors.	herbelin	2012-12-04