log

age author description
Thu, 07 Aug 2014 09:17:52 -0400 Adam Chlipala New release
Wed, 06 Aug 2014 09:50:02 -0400 Adam Chlipala MonoReduce bug involving 'error'
Fri, 01 Aug 2014 16:11:36 -0400 Adam Chlipala When unifying constructor-level unification variables, also unify their kinds
Fri, 01 Aug 2014 15:44:17 -0400 Adam Chlipala Differentiate between HTML and normal string literals
Fri, 01 Aug 2014 11:43:44 -0400 Adam Chlipala 'aria-*' attributes
Thu, 31 Jul 2014 09:56:41 -0400 Adam Chlipala New .urp directive: file
Mon, 28 Jul 2014 20:18:43 -0400 Samuel Dukhovni Added javascript for Basis.strsindex
Tue, 29 Jul 2014 14:46:06 -0400 Adam Chlipala Retweak the last tweak to allow type inference to succeed in a strict superset of the places where it used to succeed
Tue, 29 Jul 2014 14:38:50 -0400 Adam Chlipala Small tweak to ordering of unification rules, to support better record matching
Sat, 26 Jul 2014 09:39:45 -0400 Adam Chlipala Manual: Heuristic compilation warning
Sat, 26 Jul 2014 09:26:11 -0400 Adam Chlipala Another MonoReduce fix
Mon, 21 Jul 2014 08:11:03 -0400 Adam Chlipala Fix index-matching bug in MonoReduce effect calculation
Wed, 16 Jul 2014 04:06:11 -0400 Adam Chlipala Default 'jsFunc' for less-safe FFI
Sun, 13 Jul 2014 06:14:23 -0400 Adam Chlipala Fix off-by-one error in less-safe FFI wrapper generation
Fri, 04 Jul 2014 09:41:32 -0400 Adam Chlipala Return to working version mode
Fri, 04 Jul 2014 09:30:30 -0400 Adam Chlipala New release
Sun, 29 Jun 2014 08:33:47 -0400 Adam Chlipala Top.max and Top.min
Sun, 29 Jun 2014 08:31:21 -0400 Adam Chlipala Fix uw_Basis_lt_time
Fri, 27 Jun 2014 14:39:31 -0400 Adam Chlipala Add locking to enforce atomicity of message sends from one transaction
Wed, 25 Jun 2014 14:19:58 -0400 Adam Chlipala Finish example
Wed, 25 Jun 2014 14:04:13 -0400 Adam Chlipala New syntactic shorthand for antiquoting subqueries
Sun, 15 Jun 2014 21:13:12 +0000 Sergey Mironov Call try_rollback before resetting the context
Sun, 15 Jun 2014 10:48:53 -0400 Adam Chlipala 'sql_injectable_prim' instance for 'url'
Sun, 15 Jun 2014 09:27:41 -0400 Adam Chlipala Return to working version mode
Sun, 15 Jun 2014 09:18:01 -0400 Adam Chlipala New release
Fri, 13 Jun 2014 10:57:02 -0400 Adam Chlipala Treat <button> 'value' attribute as content of tag
Wed, 11 Jun 2014 14:22:47 -0400 Adam Chlipala let..where..end
Thu, 05 Jun 2014 20:36:12 +0000 Sergey Mironov Allow '+' char in blessMime