summaryrefslogtreecommitdiff
path: root/lib/basis.lig
Commit message (Expand)AuthorAge
* More fun with HTMLGravatar Adam Chlipala2008-07-03
* Basic XML stuffGravatar Adam Chlipala2008-07-03
* Separate compilation and automatic basis importationGravatar Adam Chlipala2008-06-22