log

age author description
Sun, 08 Apr 2012 16:24:16 -0400 Adam Chlipala Refactor to avoid dependence on recursive mutexes
Thu, 29 Mar 2012 11:23:35 -0400 Adam Chlipala Return to working version mode
Thu, 29 Mar 2012 11:09:43 -0400 Adam Chlipala New release
Thu, 29 Mar 2012 09:55:04 -0400 Adam Chlipala Fix defunctorization of modules containing datatype definitions
Fri, 16 Mar 2012 08:42:51 -0400 Adam Chlipala Change ID generation scheme to conform to HTML standards (thanks to Edward Yang for the catch)
Wed, 14 Mar 2012 10:10:56 -0400 Adam Chlipala New JavaScript FFI function: setInnerHTML
Wed, 14 Mar 2012 09:06:23 -0400 Adam Chlipala Remove weird special case for FFI functions whose first arguments have type [unit]
Tue, 13 Mar 2012 20:17:23 -0400 Adam Chlipala Delete C temporary directories, even if other files wind up there
Tue, 13 Mar 2012 13:36:26 -0400 Adam Chlipala Clarify necessity of 'effectful' in the manual
Tue, 13 Mar 2012 11:59:03 -0400 Adam Chlipala Remove seemingly inaccurate part of comment (perhaps clarified version can be added back in later)
Mon, 12 Mar 2012 12:00:23 -0700 Edward Z. Yang Refactor SQL parsing code from Iflow to Sql, add querydml parser.
Mon, 12 Mar 2012 12:00:13 -0700 Edward Z. Yang Some minor documentation to the Mono AST.
Sun, 11 Mar 2012 21:20:09 -0400 Adam Chlipala Handle recursive RPC handlers
Sat, 10 Mar 2012 13:35:02 -0500 Adam Chlipala Return to working version mode
Sat, 10 Mar 2012 13:13:15 -0500 Adam Chlipala New release
Sat, 10 Mar 2012 12:53:33 -0500 Adam Chlipala Change <radio> to yield [option string]
Sat, 03 Mar 2012 16:41:20 -0500 Adam Chlipala Avoid URL size limit in RPCs with large arguments
Sat, 03 Mar 2012 16:20:54 -0500 Adam Chlipala Avoid 'not fully determined' errors for fancy tasks
Sat, 03 Mar 2012 15:47:52 -0500 Adam Chlipala Pass non-printing characters through unchanged in sqlifyString, to support UTF-8
Sat, 25 Feb 2012 15:34:44 -0500 Adam Chlipala Correct an SQL grammar omission (thanks to Alexei Golovko for spotting the problem)
Sat, 18 Feb 2012 08:14:51 -0500 Adam Chlipala Update manual to fix lexical table and clarify sequencing notation
Sat, 04 Feb 2012 11:08:56 -0500 Adam Chlipala Mention FFI encoding of abstract syntax types
Sat, 04 Feb 2012 11:01:06 -0500 Adam Chlipala Basis.toMilliseconds and diffInMilliseconds, based on a patch from Gergely Buday
Sat, 04 Feb 2012 10:42:18 -0500 Adam Chlipala Extend and document RANDOM
Fri, 03 Feb 2012 08:30:56 -0500 Adam Chlipala Mention convention for parens in selected expressions
Thu, 02 Feb 2012 11:40:10 -0500 Adam Chlipala 'ORDER BY RANDOM' (based on a patch from Ron de Bruijn)
Sun, 22 Jan 2012 20:25:14 -0500 Adam Chlipala Fix runtime system handling of <dyn> inside <table> inside <dyn>
Sun, 15 Jan 2012 14:45:06 -0500 Adam Chlipala Fix fetching of keycodes for key events
Sat, 14 Jan 2012 23:02:34 +0400 Vladimir Shabanov Fixed clients mutex initialization for compiling under OS X.
Sat, 14 Jan 2012 11:24:17 -0500 Adam Chlipala Fix bug with 'dynClass' immediately inside <dyn>