aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/refman/Classes.tex
Commit message (Expand)AuthorAge
* Add missing label. Fixes broken ref.Gravatar Théo Zimmermann2016-11-17
* Revert more of a477dc for good measureGravatar Matthieu Sozeau2016-11-16
* Revert part of a477dc, disallow_shelvedGravatar Matthieu Sozeau2016-11-15
* Do not shelve non-class subgoals but fail, it shouldGravatar Matthieu Sozeau2016-11-03
* typeclasses eauto Implem/doc of shelving strategyGravatar Matthieu Sozeau2016-11-03
* Lets Hints/Instances take an optional patternGravatar Matthieu Sozeau2016-11-03
* Document options of typeclasses (eauto)Gravatar Matthieu Sozeau2016-11-03
* Documenting changes in typeclassesGravatar Matthieu Sozeau2016-10-29
* Preprend Fail to all the expected failures in the documentation.Gravatar Guillaume Melquiond2015-03-05
* Fixing bug 3099.Gravatar Pierre-Marie Pédrot2015-02-26
* Separate index for vernacular options.Gravatar Maxime Dénès2015-02-17
* Expand Credits for 8.5 and doc on universesGravatar Matthieu Sozeau2015-01-15
* Fix some documentation typos.Gravatar Guillaume Melquiond2015-01-08
* Documenting the Set Refine Instance Mode.Gravatar Pierre-Marie Pédrot2014-11-30
* "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