aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/refman/Setoid.tex
Commit message (Expand)AuthorAge
* Fix some broken Coq scripts in the documentation.Gravatar Guillaume Melquiond2015-07-30
* Fix some documentation typos.Gravatar Guillaume Melquiond2015-01-08
* Grammar: "allowing to" is not proper EnglishGravatar Jason Gross2014-08-25
* Silence some warning about references in documentation.Gravatar Guillaume Melquiond2013-12-03
* Start documenting new [rewrite_strat] tactic that applies rewritingGravatar msozeau2013-06-04
* ZArith + other : favor the use of modern names instead of compat notationsGravatar letouzey2012-07-05
* Remove compile-command pragmas for emacsGravatar letouzey2010-05-19
* Fixed some typos in the reference manual.Gravatar gmelquio2009-10-29
* Fix Setoid documentation.Gravatar msozeau2009-10-26
* Last changes in type class syntax: Gravatar msozeau2009-01-18
* Minor doc fixes:Gravatar msozeau2009-01-08
* A pass on documentation: Gravatar msozeau2008-09-14
* Documentation fixes. Gravatar msozeau2008-07-09
* Fix setoid_rewrite documentation examples.Gravatar msozeau2008-06-03
* - Add -unicode flag to coqtop (sets Flags.unicode_syntax). Used toGravatar msozeau2008-05-12
* - Add "Global" modifier for instances inside sections with the usualGravatar msozeau2008-04-15
* Update doc and remove another overloading of equiv_*.Gravatar msozeau2008-04-14
* Document the new setoid rewrite tactic, and fix a few things whileGravatar msozeau2008-04-12
* Eliminated warning messages from Hevea. Most warning messages wereGravatar emakarov2007-04-10
* Corrected a typo in doc/refman/Setoid.tex.Gravatar emakarov2007-04-04
* + Changing "in <hyp>" to "in <clause>" (no at, no InValue and noGravatar jforest2006-08-22
* Commit doc Claudio SacerdotiGravatar herbelin2006-06-09
* Nettoyage de l'archive doc et restructuration avant intégration à l'archiveGravatar herbelin2006-02-23