index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
doc
/
refman
/
Setoid.tex
Age
Commit message (
Expand
)
Author
2009-10-29
Fixed some typos in the reference manual.
gmelquio
2009-10-26
Fix Setoid documentation.
msozeau
2009-01-18
Last changes in type class syntax:
msozeau
2009-01-08
Minor doc fixes:
msozeau
2008-09-14
A pass on documentation:
msozeau
2008-07-09
Documentation fixes.
msozeau
2008-06-03
Fix setoid_rewrite documentation examples.
msozeau
2008-05-12
- Add -unicode flag to coqtop (sets Flags.unicode_syntax). Used to
msozeau
2008-04-15
- Add "Global" modifier for instances inside sections with the usual
msozeau
2008-04-14
Update doc and remove another overloading of equiv_*.
msozeau
2008-04-12
Document the new setoid rewrite tactic, and fix a few things while
msozeau
2007-04-10
Eliminated warning messages from Hevea. Most warning messages were
emakarov
2007-04-04
Corrected a typo in doc/refman/Setoid.tex.
emakarov
2006-08-22
+ Changing "in <hyp>" to "in <clause>" (no at, no InValue and no
jforest
2006-06-09
Commit doc Claudio Sacerdoti
herbelin
2006-02-23
Nettoyage de l'archive doc et restructuration avant intégration à l'archive
herbelin
