aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/refman/Classes.tex
Commit message (Expand)AuthorAge
* Move Classes.tex to type-classes.rstGravatar Matthieu Sozeau2018-03-26
* Remove deprecated options related to typeclasses.Gravatar Théo Zimmermann2018-03-04
* Merge PR #6219: Document undocumented optionsGravatar Maxime Dénès2017-12-15
|\
| * Fix typo in doc optindex for Typeclass Resolution ...Gravatar Gaëtan Gilbert2017-12-14
* | Fix (partial) #4878: option to stop autodeclaring axiom as instance.Gravatar Gaëtan Gilbert2017-11-28
|/
* Avoid generated names for html pages of the reference manual (bug #4742).Gravatar Guillaume Melquiond2017-09-22
* Sync the manual with the deprecation warnings.Gravatar Théo Zimmermann2017-07-11
* Fix documentation of Typeclasses eauto :=Gravatar Théo Zimmermann2017-06-07
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-22 02:41:50 +0000