aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Program/Syntax.v
Commit message (Expand)AuthorAge
* Integrate a few improvements on typeclasses and Program from the equations br...Gravatar msozeau2009-10-28
* Fix the stdlib doc compilation + switch all .v file to utf8Gravatar letouzey2009-09-28
* - Resolve type class constraints before trying to find unresolvedGravatar msozeau2009-09-11
* - Better deal with commands inside section titles in latex output usingGravatar msozeau2009-01-21
* Move FunctionalExtensionality to Logic/ (someone please check that theGravatar msozeau2008-12-16
* - Cleanup parsing of binders, reducing to a single production for allGravatar msozeau2008-05-11
* - A little cleanup in Classes/*. Separate standard morphisms onGravatar msozeau2008-04-08
* Minor fixes. Use expanded type in class_tactics for Morphism search, toGravatar msozeau2008-04-02
* Misc: Add test for bug 1704, now closed. Add usual syntax for lists inGravatar msozeau2008-03-16
* Reorganize Program and Classes theories. Requiring Setoid no longer setsGravatar msozeau2008-03-16