Mon, 21 Sep 2015 10:16:55 -0400 |
Ziv Scully |
Revert to revision 2222. |
Sun, 13 Sep 2015 17:02:17 -0400 |
Ziv Scully |
Make Mono.file a record for readability upon extension. |
Sat, 29 Nov 2014 03:37:59 -0500 |
Ziv Scully |
Basic field-resolution invalidation. |
Sun, 17 Aug 2014 13:07:56 -0400 |
Adam Chlipala |
New phase: Dbmodecheck |
Fri, 01 Aug 2014 15:44:17 -0400 |
Adam Chlipala |
Differentiate between HTML and normal string literals |
Wed, 11 Dec 2013 18:22:10 -0500 |
Adam Chlipala |
Change handling of returned text blobs, to activate the normal EWrite optimizations |
Fri, 15 Mar 2013 16:09:55 -0400 |
Adam Chlipala |
Make Scriptcheck catch more script/message-passing uses, and move the phase earlier in compilation |
Sun, 16 Sep 2012 08:31:54 -0400 |
Adam Chlipala |
Better error message about signals remaining in server-side code |