| Commit message (Expand) | Author | Age |
|---|
| ... | |
| * | 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-10-03 |
| * | 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-30 |
| * | 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-28 |
| * | Fix bug in implementation of setoid rewriting under cases and | msozeau | 2010-09-27 |
| * | 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-24 |
| * | 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-23 |
| * | Report fix bug 2345 from v8.3 (Bad error message when functional |  courtieu | 2010-09-21 |
| * | 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-20 |
| * | 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-19 |
| * | 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-18 |
| * | 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-17 |
| * | Explicit Mod_checking signature | glondu | 2010-09-16 |
| * | Sharing is not anymore broken by traverse_module. |  soubiran | 2010-09-15 |
| * | Fix likely semantic typos | glondu | 2010-09-15 |
| * | CoqIDE argv parsing delegated to coqtop |  vgross | 2010-09-14 |
| * | Fix unescaped end-of-lines (OCaml warning 29) | glondu | 2010-09-13 |
| * | commit 13400 and 13409. | soubiran | 2010-09-13 |
herbelin
glondu
letouzey
msozeau
pboutill
aspiwack
courtieu
soubiran
vgross