Mercurial > urweb
log demo/batchFun.urp
age | author | description |
---|---|---|
2010-02-06 | Adam Chlipala | Allow .urp files without initial blank lines |
2009-11-17 | Adam Chlipala | Hooks for measuring how much interesting proving is going on in elaboration |
age | author | description |
---|---|---|
2010-02-06 | Adam Chlipala | Allow .urp files without initial blank lines |
2009-11-17 | Adam Chlipala | Hooks for measuring how much interesting proving is going on in elaboration |