Mercurial > urweb
log src/demo.sml
age | author | description |
---|---|---|
Fri, 25 Nov 2011 17:19:34 -0500 | Adam Chlipala | Support 'safeGet' in demos |
Sun, 29 May 2011 14:29:26 -0400 | Adam Chlipala | getHeader and setHeader |
Sat, 11 Dec 2010 15:16:04 -0500 | Adam Chlipala | minHeap option in .urp files |
Thu, 30 Sep 2010 18:29:59 -0400 | Adam Chlipala | Demo improvements |