Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Last changes in type class syntax: | 2009-01-18 | |
* | Minor doc fixes: | 2009-01-08 | |
* | A pass on documentation: | 2008-09-14 | |
* | Documentation fixes. | 2008-07-09 | |
* | Fix setoid_rewrite documentation examples. | 2008-06-03 | |
* | - Add -unicode flag to coqtop (sets Flags.unicode_syntax). Used to | 2008-05-12 | |
* | - Add "Global" modifier for instances inside sections with the usual | 2008-04-15 | |
* | Update doc and remove another overloading of equiv_*. | 2008-04-14 | |
* | Document the new setoid rewrite tactic, and fix a few things while | 2008-04-12 | |
* | Eliminated warning messages from Hevea. Most warning messages were | 2007-04-10 | |
* | Corrected a typo in doc/refman/Setoid.tex. | 2007-04-04 | |
* | + Changing "in <hyp>" to "in <clause>" (no at, no InValue and no | 2006-08-22 | |
* | Commit doc Claudio Sacerdoti | 2006-06-09 | |
* | Nettoyage de l'archive doc et restructuration avant intégration à l'archive | 2006-02-23 |