summaryrefslogtreecommitdiff
path: root/src/core_print.sig
Commit message (Collapse)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