aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/refman/Classes.tex
Commit message (Expand)AuthorAge
* "allows to", like "allowing to", is improperGravatar Jason Gross2014-08-25
* Documenting the previous commit: Existing Instance with priority.Gravatar ppedrot2013-08-01
* ZArith + other : favor the use of modern names instead of compat notationsGravatar letouzey2012-07-05
* Add 'Existing Instances' declaration to declare multiple instances at once.Gravatar letouzey2011-04-06
* Fix [Existing Class] impl and add documentation. Fix computation of theGravatar msozeau2010-02-10
* Specific syntax for Instances in Module Type: Declare InstanceGravatar letouzey2010-01-04
* Document Generalizable Variables, and change syntax to Gravatar msozeau2009-11-15
* Typos.Gravatar gmelquio2009-10-13
* Add doc of [Context] vernacular.Gravatar msozeau2009-09-11
* Backporting from v8.2 to trunk:Gravatar herbelin2009-01-18
* Last changes in type class syntax: Gravatar msozeau2009-01-18
* Fixes in the type classes documentation:Gravatar msozeau2008-12-14
* Renommage "Global Instance" en "Instance Global" pour uniformisationGravatar herbelin2008-10-20
* A pass on documentation: Gravatar msozeau2008-09-14
* Documentation fixes. Gravatar msozeau2008-07-09
* Second pass on typeclasses documentation, fix html rendering.Gravatar msozeau2008-06-08
* Fix eauto still using delta when it shouldn't (should make CoRN compileGravatar msozeau2008-04-29
* Add almost empty Classes.tex for documentation of type classes.Gravatar msozeau2008-04-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-03 16:33:15 +0000