| Age | Commit message (Expand) | Author |
|---|
| 2012-04-18 | Added a tab changing command in CoqIDE and moved display options around | ppedrot |
| 2012-04-18 | Fixed bug #2752 | ppedrot |
| 2012-04-17 | Remove the Dp plugin. | gmelquio |
| 2012-04-17 | Coqide: the coqtop to launch is a preference. | pboutill |
| 2012-04-17 | Bug 2733 : { } implicits and Fixpoints | pboutill |
| 2012-04-16 | Fixing a "Not_Found" bug related to commit 15061 on the use of evar candidates. | herbelin |
| 2012-04-15 | Fixing typo in previous commit r15180. | herbelin |
| 2012-04-15 | Fixing tauto "special" behavior on singleton types w/ 2 parameters (bug #2680). | herbelin |
| 2012-04-15 | Update CHANGES | herbelin |
| 2012-04-15 | Adding newline after warning and restoring distinction between | herbelin |
| 2012-04-15 | In "intro until" and its applications, be consistent when reduction is | herbelin |
| 2012-04-14 | Coqide input encoding preference is an algebraic type. | pboutill |
| 2012-04-14 | Coqide Proofview scroll | pboutill |
| 2012-04-13 | MSetRBT : implementation of MSets via Red-Black trees | letouzey |
| 2012-04-13 | Uniformisation in the documentation: remove the use of 'coinductive' in | aspiwack |
| 2012-04-13 | Documentation of records defined with the keywords Inductive and | aspiwack |
| 2012-04-13 | Restores pdf bookmarks in the reference manual. | aspiwack |
| 2012-04-13 | Better error message when defining recursive records with Record or | aspiwack |
| 2012-04-13 | Removed syntax BeginSubproof/EndSubproof. It has been replaced by | aspiwack |
| 2012-04-13 | Browser documentation & CharSet under Windows | pboutill |
| 2012-04-12 | Remove print call that do not use the pp mechanism | pboutill |
| 2012-04-12 | make otags only relies on otags | pboutill |
| 2012-04-12 | "A -> B" is a notation for "forall _ : A, B". | pboutill |
| 2012-04-12 | Coqide minor enhancements | pboutill |
| 2012-04-12 | lib directory is cut in 2 cma. | pboutill |
| 2012-04-12 | Repair two tests | letouzey |
| 2012-04-12 | CHANGES: adapt after backport of some features to 8.4 | letouzey |
| 2012-04-12 | remove plugins/subtac/subtac.ml reintroduced by mistaked in a previous commit | letouzey |
| 2012-04-11 | Added a reset button for CoqIDE colors | ppedrot |
| 2012-04-11 | Added a background color configuration option in CoqIDE. | ppedrot |
| 2012-04-07 | Fixing the "capture" check newly introduced in r15122 when | herbelin |
| 2012-04-06 | Unifying the different procedures for interning binders. | herbelin |
| 2012-04-06 | Fixing a few bugs (see #2571) related to interpretation of multiple binders | herbelin |
| 2012-04-06 | Removing Dhyp from debugger. | herbelin |
| 2012-04-05 | Shortcuts and optimizations of comparisons | xclerc |
| 2012-04-05 | Relax uniform inheritance condition | gareuselesinge |
| 2012-04-05 | Speedup free_vars_and_rels_up_alias_expansion (evarconv) | gareuselesinge |
| 2012-04-04 | Reversed colour highlight in CoqIDE | ppedrot |
| 2012-03-30 | Typo in a message. | aspiwack |
| 2012-03-30 | Added a command "Unfocused" which returns an error when the proof is | aspiwack |
| 2012-03-30 | info_trivial, info_auto, info_eauto, and debug (trivial|auto) | letouzey |
| 2012-03-30 | Remove code of obsolete tactics : superauto, autotdb, cdhyp, dhyp, dconcl | letouzey |
| 2012-03-28 | A revolution has come: CoqIDE, now in color. Fixes bug #2704 btw. | ppedrot |
| 2012-03-26 | Adapt the checker after commit 15080 | letouzey |
| 2012-03-26 | Unification: Fixing bug in materialize_evar (spotted by MathClasses). | herbelin |
| 2012-03-26 | Slight change in the semantics of arguments scopes: scopes can no | herbelin |
| 2012-03-26 | Fixing printing level of Utf8 equivalent for ->. | herbelin |
| 2012-03-26 | Fixing deactivation of scope at printing time in the body of a | herbelin |
| 2012-03-26 | Unification: Added a heuristic to solve problems of the form | herbelin |
| 2012-03-26 | Module names and constant/inductive names are now in two separate namespaces | letouzey |
