coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Attempt to use more local doc in coqide	pboutill	2011-04-28
*	CHANGES update	pboutill	2011-04-28
*	coq_makefile big cleanup	pboutill	2011-04-28
*	coqtop -config returns coq returns coq environments at exection time	pboutill	2011-04-28
*	Revert r14078 "Partial backtrack on the support for open terms in destruct/in...	gmelquio	2011-04-28
*	Partial backtrack on the support for open terms in destruct/induction:	gmelquio	2011-04-28
*	Coqide: try to properly send interrupts to coqtop on Win32	letouzey	2011-04-28
*	Adding "Tactic Notation" in doc index.	herbelin	2011-04-28
*	Fixing an "apply -> ... in hyp" bug (the hyp was considered as a fixed	herbelin	2011-04-28
*	Fixed notation printing bug when curly brackets are involved (requests	herbelin	2011-04-28
*	Updating CHANGES	herbelin	2011-04-27
*	Fixing output of Notations2.v test messed up in r14060	herbelin	2011-04-27
*	Pcoq.ml4: fix a typo in a comment to please ocamldoc	letouzey	2011-04-26
*	G_vernac can be parsed without grammar.cma	letouzey	2011-04-26
*	dev/base_include: no more mod_self_id	letouzey	2011-04-26
*	Fixing commit r14061 (changes in file tactics.ml were mistakenly committed).	herbelin	2011-04-26
*	Coqide: fix remove_current_view_page (#2499)	letouzey	2011-04-26
*	Fix for handling of -R "" in coqdoc (bug #2423).	herbelin	2011-04-25
*	Fixing and completing interpretation of let's in notations for iterated binders.	herbelin	2011-04-25
*	Fixing and completing interpretation of let's in notations for iterated binders.	herbelin	2011-04-25
*	Yet another bug in printing fix with let-in binders	herbelin	2011-04-24
*	Fixing bug in printing let-in binders in fix/cofix	herbelin	2011-04-24
*	Fixed a bug of destruct which was sometimes forgetting local definitions behi...	herbelin	2011-04-24
*	Coqide: fix synchro when restarting during a single step	letouzey	2011-04-22
*	Coqide: let's try to be synchronuous when killing coqtop	letouzey	2011-04-21
*	Coqide: remove some dead code	letouzey	2011-04-21
*	Coqlib: avoid deadlock under win32 with force_reset_initial	letouzey	2011-04-21
*	Coqide: back to using Unix.stderr in create_process	letouzey	2011-04-21
*	Coqide: better handling of stdout/stderr in win32	letouzey	2011-04-21
*	Coqide: typo	letouzey	2011-04-21
*	Coqide: quote coqtop filename if necessary	letouzey	2011-04-21
*	Coqide: a special kill function for win32	letouzey	2011-04-21
*	Coqide: try to avoid displaying error messages on coqide's console	letouzey	2011-04-21
*	Coqide: better construction of default coqtop path	letouzey	2011-04-21
*	Win32: remove the need for Coq.bat and Coqide.bat	letouzey	2011-04-21
*	Win32: if we make coqide console-free, then stderr/stdout/sdtin shouldn't be ...	letouzey	2011-04-21
*	Ocamlbuild: in win32, coqide is now a console-free app by default	letouzey	2011-04-21
*	Win32: let's directly make coqtop.exe and coqide.exe incorporate coq.ico	letouzey	2011-04-21
*	bug fix: concurrent access of persistent_cache	fbesson	2011-04-21
*	Coqide: Fix the command separator for external cmds (#2363)	letouzey	2011-04-20
*	Coqdoc: also try coqlib relative to the coqdoc binary location	letouzey	2011-04-20
*	Allow betaiota when checking unification of the types of metas (fixes ATBR co...	msozeau	2011-04-20
*	Don't force progress on instance applications, there is always progress when ...	msozeau	2011-04-20
*	This is used in the rippling plugin. This also allows fixing bug #2188.	msozeau	2011-04-20
*	Declarative mode: fix escape and return.	aspiwack	2011-04-19
*	Fix thumb2-related build error	glondu	2011-04-19
*	Fix generated script for NMake, a rewrite necessitates full conversion for	msozeau	2011-04-18
*	Add a flag to control betaiota reduction during unification to maintain backw...	msozeau	2011-04-18
*	Fix unification of types of metavariables and error message for sort unificat...	msozeau	2011-04-16
*	Take benefit of eta-expansion so that "ex P" is displayed "exists x, P x".	herbelin	2011-04-15