| Age | Commit message (Expand) | Author |
|---|
| 2010-10-03 | Dead code in impargs (afaics, no more need, since r11242, to merge | herbelin |
| 2010-10-03 | Making display of various informations about constants more modular: | herbelin |
| 2010-10-03 | Fixed a little printing bug with "About" on an undefined constant. | herbelin |
| 2010-09-30 | Simplify tactic(_)-bound arguments in TACTIC EXTEND rules | glondu |
| 2010-09-30 | Improve handling of metas as evars in unification (patch by Hugo) | letouzey |
| 2010-09-30 | Speed-up refine by avoiding some calls to Evd.fold | letouzey |
| 2010-09-28 | Fix bug #2321, allowing "_" named projections in classes. Not realizing | msozeau |
| 2010-09-28 | Coqdoc patches from UPenn (thanks to C. Casinghino). This introduces the | msozeau |
| 2010-09-28 | Minor fixes of 'make doc' | pboutill |
| 2010-09-28 | Bvector.Vshiftin was wrong for ages | pboutill |
| 2010-09-28 | Remove some occurrences of "open Termops" | glondu |
| 2010-09-28 | Fix function applications without labels (OCaml warning 6) | glondu |
| 2010-09-28 | Remove "init" label from Termops.it_mk* specialized functions | glondu |
| 2010-09-28 | Remove kind_of_type, kind_of_term2 (dead code) | glondu |
| 2010-09-27 | Fix bug in implementation of setoid rewriting under cases and | msozeau |
| 2010-09-24 | Fixed a bug in printing fix/cofix error messages when several | herbelin |
| 2010-09-24 | Solving bug #2212 (unification under tuples now not allowed for | herbelin |
| 2010-09-24 | Partial review of removed dead code (r13460) | herbelin |
| 2010-09-24 | Checker: remove some dead code | letouzey |
| 2010-09-24 | Dead code in extraction | letouzey |
| 2010-09-24 | Some dead code removal, thanks to Oug analyzer | letouzey |
| 2010-09-24 | dev/Makefile.oug: how to run the Oug analyser, for instance for finding dead ... | letouzey |
| 2010-09-23 | Added a section in the documentation of Vernacular commands about Set/Unset/T... | aspiwack |
| 2010-09-23 | Update CHANGES: Local/Global Set/Unset. | aspiwack |
| 2010-09-23 | Fix inconsistency in Prop/Set conversion check | glondu |
| 2010-09-21 | Report fix bug 2345 from v8.3 (Bad error message when functional | courtieu |
| 2010-09-20 | Added eta-expansion in kernel, type inference and tactic unification, | herbelin |
| 2010-09-20 | Fixed test of bug #2360 (use of Fail to check a regular error instead | herbelin |
| 2010-09-20 | Extraction: re-introduce some eta-expansions in rare situations leading to '_... | letouzey |
| 2010-09-19 | Fixing bug #2389 (keyword "Declare Instance" unknown from "coqdoc -g") but | herbelin |
| 2010-09-19 | Fixing bug #2360 (descend_in_conjunctions built ill-typed terms). Shouldn't we | herbelin |
| 2010-09-19 | Reverting partial fix for #2335 committed by mistake in r13435. Sorry. | herbelin |
| 2010-09-19 | Hopefully a fix for #2176 (redirection not understood with some shells) | herbelin |
| 2010-09-19 | Addressing part 2 of bug report 2377 (removing intrusive warning when | herbelin |
| 2010-09-19 | Patch solving the bug but leaving open design choices | herbelin |
| 2010-09-18 | Fixing #2162 and #2367 (wrong order of Show Match) for branch 8.2 too | herbelin |
| 2010-09-18 | Added test for bugs 2242, 2337, 2339 + remove the use of name "ambiguous" in | herbelin |
| 2010-09-18 | Fixing bugs #2347 (part 2) and #2388: error message printing was done | herbelin |
| 2010-09-18 | Now prints an error instead of an anomaly when dynlink fails | herbelin |
| 2010-09-17 | Fixed a problem introduced in r12607 after pattern_of_constr served | herbelin |
| 2010-09-17 | In the computation of missing arguments for apply, accept that the | herbelin |
| 2010-09-17 | For the moment, two small manual eta-expansions to avoid '_a after extraction | letouzey |
| 2010-09-17 | Extraction: multiple fixes related with the Not_found encountered by X. Leroy | letouzey |
| 2010-09-17 | Coqdep_boot : misc improvements | letouzey |
| 2010-09-16 | Explicit Mod_checking signature | glondu |
| 2010-09-15 | Sharing is not anymore broken by traverse_module. | soubiran |
| 2010-09-15 | Fix likely semantic typos | glondu |
| 2010-09-14 | CoqIDE argv parsing delegated to coqtop | vgross |
| 2010-09-13 | Fix unescaped end-of-lines (OCaml warning 29) | glondu |
| 2010-09-13 | commit 13400 and 13409. | soubiran |
