aboutsummaryrefslogtreecommitdiff
path: root/doc/refman/Setoid.tex
AgeCommit message (Expand)Author
2018-03-30[Sphinx] Move chapter 27 to new infrastructureMaxime Dénès
2017-09-22Avoid generated names for html pages of the reference manual (bug #4742).Guillaume Melquiond
2017-09-032 Typos in 'Add Parametric Morphism' Documentationstaffehn
2017-08-02Update Setoid.texlarsr
2015-07-30Fix some broken Coq scripts in the documentation.Guillaume Melquiond
2015-01-08Fix some documentation typos.Guillaume Melquiond
2014-08-25Grammar: "allowing to" is not proper EnglishJason Gross
2013-12-03Silence some warning about references in documentation.Guillaume Melquiond
2013-06-04Start documenting new [rewrite_strat] tactic that applies rewritingmsozeau
2012-07-05ZArith + other : favor the use of modern names instead of compat notationsletouzey
2010-05-19Remove compile-command pragmas for emacsletouzey
2009-10-29Fixed some typos in the reference manual.gmelquio
2009-10-26Fix Setoid documentation.msozeau
2009-01-18Last changes in type class syntax: msozeau
2009-01-08Minor doc fixes:msozeau
2008-09-14A pass on documentation: msozeau
2008-07-09Documentation fixes. msozeau
2008-06-03Fix setoid_rewrite documentation examples.msozeau
2008-05-12- Add -unicode flag to coqtop (sets Flags.unicode_syntax). Used tomsozeau
2008-04-15- Add "Global" modifier for instances inside sections with the usualmsozeau
2008-04-14Update doc and remove another overloading of equiv_*.msozeau
2008-04-12Document the new setoid rewrite tactic, and fix a few things whilemsozeau
2007-04-10Eliminated warning messages from Hevea. Most warning messages wereemakarov
2007-04-04Corrected a typo in doc/refman/Setoid.tex.emakarov
2006-08-22+ Changing "in <hyp>" to "in <clause>" (no at, no InValue and nojforest
2006-06-09Commit doc Claudio Sacerdotiherbelin
2006-02-23Nettoyage de l'archive doc et restructuration avant intégration à l'archiveherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 10:12:17 +0000