aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/refman/Setoid.tex
Commit message (Expand)AuthorAge
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-02 05:38:33 +0000