coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	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
*	Coqc: fix the exit code	letouzey	2011-04-15
*	Extraction: nicer error when a toplevel module has no body (#2525)	letouzey	2011-04-15
*	Extraction: allow extracting Ascii.ascii to native Char in Haskell (fix #2515)	letouzey	2011-04-15
*	Documentation typo.	gmelquio	2011-04-15
*	More informative anomaly.	herbelin	2011-04-14
*	Add directories in COQPATH to search path.	herbelin	2011-04-14
*	Reorder search path order, so the standard library is search last.	herbelin	2011-04-14
*	Extraction: opaque terms are not traversed anymore by default	letouzey	2011-04-13
*	Revert "Add [Polymorphic] flag for defs"	msozeau	2011-04-13
*	Put dependent subgoals first so as to allow backtracking on them, might chang...	msozeau	2011-04-13
*	- Make typeclass transparency information directly available	msozeau	2011-04-13
*	- Remove create_evar_defs	msozeau	2011-04-13