summaryrefslogtreecommitdiff
path: root/lib/ur/monad.ur
Commit message (Expand)AuthorAge
* Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Mo...Gravatar Adam Chlipala2009-06-02