aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Program/Utils.v
Commit message (Expand)AuthorAge
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Fix some typos in comments.Gravatar Guillaume Melquiond2015-02-23
* Update headers.Gravatar Maxime Dénès2015-01-12
* Updating headers.Gravatar herbelin2012-08-08
* Making printing of backtick in Program reparsable (avoiding collision with "`(")Gravatar herbelin2011-06-14
* First release of Vector library.Gravatar pboutill2010-12-10
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Move FunctionalExtensionality to Logic/ (someone please check that theGravatar msozeau2008-12-16
* Uniformisation du format des messages d'erreur (commencent par uneGravatar herbelin2008-07-17
* Autour du parsing:Gravatar herbelin2008-07-15
* - Cleanup parsing of binders, reducing to a single production for allGravatar msozeau2008-05-11
* Minor fixes: Gravatar msozeau2008-04-05
* Fix bugs that were reopened due to the change of setoidGravatar msozeau2008-03-08
* Implicit arguments in class field declarationsGravatar msozeau2008-01-02
* Better resolution of implicit parameters in typeclass binders, add extensiona...Gravatar msozeau2008-01-02
* Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,...Gravatar msozeau2007-12-31
* Addition of more general tactics for equality. Functional extensionality and ...Gravatar msozeau2007-10-24
* Move Program tactics into a proper theories/ directory as they are general pu...Gravatar msozeau2007-08-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-21 15:36:40 +0000