| Commit message (Expand) | Author | Age |
|---|
| ... | |
| * | Remplacement de l'appel à interp_constr pour globaliser une constante |  herbelin | 2008-04-24 |
| * | Fix bug #1844, generalize implementation to handle and combination of |  msozeau | 2008-04-24 |
| * | - Add pretty-printers for Idpred, Cpred and transparent_state, used for | msozeau | 2008-04-24 |
| * | Ajout propriété svn:keywords aux nouveaux fichiers du commit 10840 | herbelin | 2008-04-24 |
| * | Prise en compte des coercions dans les clauses "with" même si le type | herbelin | 2008-04-23 |
| * | correction d'un bug sur la compostion des substitutions induites par les alia... |  soubiran | 2008-04-23 |
| * | correction du bug sur Parameter Inline que j'ai reouvert hier par inadvertance | soubiran | 2008-04-23 |
| * | Added frozen state after each command. |  courtieu | 2008-04-23 |
| * | Backtrack on change of flags for elim, otherwise rewrite goes under | msozeau | 2008-04-23 |
| * | Change default eauto depth to 100 in setoid_rewrite, bump necessary | msozeau | 2008-04-23 |
| * | Test que la bibliothèque ZArith est chargée lors d'un appel à simplify, er... |  notin | 2008-04-22 |
| * | correction bug 1839 | soubiran | 2008-04-22 |
| * | fixed universes bug related to module inclusion |  barras | 2008-04-22 |
| * | test module include w.r.t. universe constraints | barras | 2008-04-21 |
| * | added the .vo checker (with independent Makefile) | barras | 2008-04-21 |
| * | - Correct unification for the rewrite variant of setoid_rewrite, | msozeau | 2008-04-21 |
| * | - Parameterize unification by two sets of transparent_state, one for open | msozeau | 2008-04-21 |
| * | Addded the "Dump Tree" command. |  cek | 2008-04-21 |
| * | corection bug #1837 | soubiran | 2008-04-21 |
| * | Correction bug 1838 + doc modules. | soubiran | 2008-04-21 |
| * | Work on the "occurrences" tactic argument. It is now possible to pass | msozeau | 2008-04-20 |
| * | Add the ability to give a transparent_state for conversion, to | msozeau | 2008-04-20 |
| * | Test pour compilation native camlp5 | herbelin | 2008-04-19 |
| * | Pour engendrer version.tex, adoption de printf qui, au contraire de | herbelin | 2008-04-18 |
| * | Correction bug 1835 + correction bug occur-check résultant en un | herbelin | 2008-04-18 |
| * | pbm avec echo |  filliatr | 2008-04-18 |
| * | Bug squashing day ! | msozeau | 2008-04-17 |
| * | No compatibility notations for andb and co (this restore a correct Print output) |  letouzey | 2008-04-17 |
| * | Prevent the apparition of &&& when printing a (if ... then ... else false) | letouzey | 2008-04-17 |
| * | tactique gappa | filliatr | 2008-04-17 |
| * | documentation tactique gappa | filliatr | 2008-04-17 |
| * | Add almost empty Classes.tex for documentation of type classes. | msozeau | 2008-04-17 |
| * | Little fixes in setoid_rewrite. | msozeau | 2008-04-17 |
| * | Definition of N moves back to BinNat (partial backtrack of commits 10298-10300) | letouzey | 2008-04-16 |
| * | first-order --> firstorder (kills a warning about not being a valid id) | letouzey | 2008-04-16 |
| * | flottants | filliatr | 2008-04-16 |
| * | Added a function that escapes XML characters in ppcmds. | cek | 2008-04-16 |
| * | More renamings to avoid clashes (e.g. with CoRN). | msozeau | 2008-04-15 |
| * | Mises à jour bugs, CHANGES, code mort | herbelin | 2008-04-15 |
| * | Document CHANGES in setoid rewrite, move DefaultRelation to | msozeau | 2008-04-15 |
| * | * added a subsection to explain the automatic declaration of schemes: |  vsiles | 2008-04-15 |
| * | - Add "Global" modifier for instances inside sections with the usual | msozeau | 2008-04-15 |
| * | - Un peu de doc, préparation du CHANGES pour la release. | herbelin | 2008-04-15 |
| * | typo | vsiles | 2008-04-15 |
| * | fix some bogus calls to id_of_string by the extraction | letouzey | 2008-04-15 |
| * | BinPos: New version of ~1 and ~0 notations, xH replaced by 1 and proofs cleanup | letouzey | 2008-04-14 |
| * | oubli sur 10790 | herbelin | 2008-04-14 |
| * | suite 10790 (identificateurs) | herbelin | 2008-04-14 |
| * | Diverses corrections | herbelin | 2008-04-14 |
| * | Update doc and remove another overloading of equiv_*. | msozeau | 2008-04-14 |
herbelin
msozeau
soubiran
courtieu
notin
barras
cek
filliatr
letouzey
vsiles