| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2011-04-13 | Fix scripts relying on unification not doing any beta reduction. | msozeau |
| 2011-04-13 | Unify meta types with the right flags, add betaiotazeta reduction to unificat... | msozeau |
| 2011-04-13 | Proper typing of metavariables, type errors were completely ignored before...... | msozeau |
| 2011-04-13 | - Do not make constants with an assigned type polymorphic (wrong unfoldings). | msozeau |
