Wed, 28 Nov 2012 11:39:38 -0500 |
Austin Seipp |
Fix broken implementation of 'urweb daemon stop' |
Sat, 18 Aug 2012 13:57:48 -0400 |
Adam Chlipala |
Add list of files to new error message |
Sat, 18 Aug 2012 13:51:41 -0400 |
Adam Chlipala |
Better error message for funky command lines |
Sat, 05 May 2012 12:58:13 -0400 |
Adam Chlipala |
-dumpTypesOnError |
Sat, 05 May 2012 12:45:35 -0400 |
Adam Chlipala |
Send daemon output to calling process |
Wed, 02 May 2012 17:17:57 -0400 |
Edward Z. Yang |
Add support for -boot flag, which allows in-tree execution of Ur/Web |
Sun, 29 Apr 2012 16:23:03 -0400 |
Adam Chlipala |
'urweb daemon start' and 'urweb daemon stop' |