summaryrefslogtreecommitdiff
path: root/src/core_print.sig
Commit message (Expand)AuthorAge
* Laconic -> UrGravatar Adam Chlipala2008-08-31
* Specialization of single-parameter datatypesGravatar Adam Chlipala2008-08-08
* Simple forms workGravatar Adam Chlipala2008-07-22
* Conversion to CoreGravatar Adam Chlipala2008-06-08