Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Backporting from v8.2 to trunk: | 2009-01-18 | |
* | Last changes in type class syntax: | 2009-01-18 | |
* | Fixes in the type classes documentation: | 2008-12-14 | |
* | Renommage "Global Instance" en "Instance Global" pour uniformisation | 2008-10-20 | |
* | A pass on documentation: | 2008-09-14 | |
* | Documentation fixes. | 2008-07-09 | |
* | Second pass on typeclasses documentation, fix html rendering. | 2008-06-08 | |
* | Fix eauto still using delta when it shouldn't (should make CoRN compile | 2008-04-29 | |
* | Add almost empty Classes.tex for documentation of type classes. | 2008-04-17 |