coq - The formal proof system

Age	Commit message (Expand)	Author
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-25	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-24	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-22	Coqide: fix synchro when restarting during a single step	letouzey
2011-04-21	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-20	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-19	Declarative mode: fix escape and return.	aspiwack
2011-04-19	Fix thumb2-related build error	glondu
2011-04-18	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-16	Fix unification of types of metavariables and error message for sort unificat...	msozeau
2011-04-15	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-14	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-13	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	Fix merge.	msozeau
2011-04-13	- Improve unification (beta-reduction, and same heuristic as evarconv for red...	msozeau