log

age author description
Fri, 15 Apr 2011 16:49:46 -0400 Adam Chlipala Remove commented-out readUtc code; add back indeterminate tm_isdst
Wed, 13 Apr 2011 00:04:41 -0430 Karn Kallio Fix getting UTC time from formatted strings ( in uw_Basis_readUtc ).
Sat, 09 Apr 2011 20:00:52 -0400 Adam Chlipala Send newly created sources with messages to clients
Sat, 09 Apr 2011 14:36:47 -0400 Adam Chlipala Each context gets its own non-repeating sequence of source numbers
Mon, 28 Mar 2011 10:37:49 -0400 Adam Chlipala To generate server-side source JavaScript, try both the old and new strategies; remove an unsound optimization from MonoOpt and make MonoReduce work harder to compensate
Sun, 27 Mar 2011 15:51:37 -0400 Adam Chlipala Escape strings as needed in some error messages within urweb.c
Sun, 27 Mar 2011 15:06:02 -0400 Adam Chlipala Fix MySQL time handling