summaryrefslogtreecommitdiff
path: root/lib/ur/monad.urs
Commit message (Expand)AuthorAge
* grid1 compiles but gets stuck in JSGravatar Adam Chlipala2009-08-25
* Library improvements; proper list [un]urlification; remove server-side Server...Gravatar Adam Chlipala2009-08-09
* Working on Grid; have gone from one dynamic table bizareness to anotherGravatar Adam Chlipala2009-07-19
* Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Mo...Gravatar Adam Chlipala2009-06-02