log src/compiler.sml

age author description
Sun, 20 Nov 2011 20:54:03 -0500 Adam Chlipala Yet another fix to previous change
Sun, 20 Nov 2011 20:46:28 -0500 Adam Chlipala Fix bug in previous change
Sun, 20 Nov 2011 18:33:21 -0500 Adam Chlipala Don't treat comment-only lines as blank, in determining split point of .urp files
Mon, 14 Nov 2011 09:15:10 -0500 Adam Chlipala Better error messages about server-side use of client-side functions
Sun, 11 Sep 2011 11:37:26 -0400 Adam Chlipala Disable C optimization in debug mode
Mon, 15 Aug 2011 11:26:10 -0400 Adam Chlipala Compiler frees as much memory as possible before passing control to C compiler
Thu, 04 Aug 2011 17:06:50 -0400 Adam Chlipala Configure correct C compiler options for Pthreads