log demo/batchFun.ur

age author description
2009-12-26 Adam Chlipala Make summary unification more conservative; infer implicit arguments after applications
2009-10-20 Adam Chlipala Adapted existing demos to tuple pattern-matching
2009-08-22 Adam Chlipala Convert to requiring explicit 'rpc' marker
2009-06-02 Adam Chlipala Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Monad library module
2009-05-28 Adam Chlipala Demo compiles with pattern-matching-fu
2009-04-07 Adam Chlipala Enhance table sig item support and get demo compiling again
2009-03-10 Adam Chlipala BatchG demo