| 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 |
| Sun, 29 Apr 2012 16:23:03 -0400 |
Adam Chlipala |
'urweb daemon start' and 'urweb daemon stop' |
| Sun, 29 Apr 2012 13:17:31 -0400 |
Adam Chlipala |
Initial support for reusing elaboration results |
| Sun, 22 Apr 2012 09:08:45 -0400 |
Adam Chlipala |
-unifyMore |
| Sun, 07 Aug 2011 16:53:06 -0400 |
Adam Chlipala |
'-dumpTypes' |
| Sun, 31 May 2009 15:25:27 -0400 |
Adam Chlipala |
Expose resolveClass from Elaborate |
| Thu, 11 Sep 2008 17:41:52 -0400 |
Adam Chlipala |
Crud listing IDs |
| Sun, 22 Jun 2008 14:23:05 -0400 |
Adam Chlipala |
Separate compilation and automatic basis importation |
| Thu, 12 Jun 2008 17:16:20 -0400 |
Adam Chlipala |
Simple signature matching |
| Sat, 26 Jan 2008 16:02:47 -0500 |
Adam Chlipala |
Elaborating files |
| Sat, 26 Jan 2008 15:29:09 -0500 |
Adam Chlipala |
Rename Laconic* modules to Source* |
| Sat, 26 Jan 2008 14:27:33 -0500 |
Adam Chlipala |
Start of elaboration |
