aboutsummaryrefslogtreecommitdiff
path: root/doc/refman/Classes.tex
AgeCommit message (Expand)Author
2018-03-26Move Classes.tex to type-classes.rstMatthieu Sozeau
2018-03-04Remove deprecated options related to typeclasses.Théo Zimmermann
2017-12-15Merge PR #6219: Document undocumented optionsMaxime Dénès
2017-12-14Fix typo in doc optindex for Typeclass Resolution ...Gaëtan Gilbert
2017-11-28Fix (partial) #4878: option to stop autodeclaring axiom as instance.Gaëtan Gilbert
2017-09-22Avoid generated names for html pages of the reference manual (bug #4742).Guillaume Melquiond
2017-07-11Sync the manual with the deprecation warnings.Théo Zimmermann
2017-06-07Fix documentation of Typeclasses eauto :=Théo Zimmermann
2016-11-17Add missing label. Fixes broken ref.Théo Zimmermann
2016-11-16Revert more of a477dc for good measureMatthieu Sozeau
2016-11-15Revert part of a477dc, disallow_shelvedMatthieu Sozeau
2016-11-03Do not shelve non-class subgoals but fail, it shouldMatthieu Sozeau
2016-11-03typeclasses eauto Implem/doc of shelving strategyMatthieu Sozeau
2016-11-03Lets Hints/Instances take an optional patternMatthieu Sozeau
2016-11-03Document options of typeclasses (eauto)Matthieu Sozeau
2016-10-29Documenting changes in typeclassesMatthieu Sozeau
2015-03-05Preprend Fail to all the expected failures in the documentation.Guillaume Melquiond
2015-02-26Fixing bug 3099.Pierre-Marie Pédrot
2015-02-17Separate index for vernacular options.Maxime Dénès
2015-01-15Expand Credits for 8.5 and doc on universesMatthieu Sozeau
2015-01-08Fix some documentation typos.Guillaume Melquiond
2014-11-30Documenting the Set Refine Instance Mode.Pierre-Marie Pédrot
2014-08-25"allows to", like "allowing to", is improperJason Gross
2013-08-01Documenting the previous commit: Existing Instance with priority.ppedrot
2012-07-05ZArith + other : favor the use of modern names instead of compat notationsletouzey
2011-04-06Add 'Existing Instances' declaration to declare multiple instances at once.letouzey
2010-02-10Fix [Existing Class] impl and add documentation. Fix computation of themsozeau
2010-01-04Specific syntax for Instances in Module Type: Declare Instanceletouzey
2009-11-15Document Generalizable Variables, and change syntax to msozeau
2009-10-13Typos.gmelquio
2009-09-11Add doc of [Context] vernacular.msozeau
2009-01-18Backporting from v8.2 to trunk:herbelin
2009-01-18Last changes in type class syntax: msozeau
2008-12-14Fixes in the type classes documentation:msozeau
2008-10-20Renommage "Global Instance" en "Instance Global" pour uniformisationherbelin
2008-09-14A pass on documentation: msozeau
2008-07-09Documentation fixes. msozeau
2008-06-08Second pass on typeclasses documentation, fix html rendering.msozeau
2008-04-29Fix eauto still using delta when it shouldn't (should make CoRN compilemsozeau
2008-04-17Add almost empty Classes.tex for documentation of type classes.msozeau
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 01:25:59 +0000