log

age author description
Wed, 30 Apr 2014 13:05:54 -0400 Adam Chlipala <thead>, <tbody>, <tfoot>
Tue, 29 Apr 2014 16:47:45 -0400 Adam Chlipala Allow parens grouping joins in FROM clauses
Sat, 26 Apr 2014 11:54:44 -0400 Adam Chlipala Return to working version mode
Sat, 26 Apr 2014 11:15:21 -0400 Adam Chlipala Fix a bug in GROUP BY generation [keeping within today's release]
Sat, 26 Apr 2014 09:42:35 -0400 Adam Chlipala New release
Mon, 21 Apr 2014 12:09:58 -0400 Adam Chlipala Change <active> to avoid generating an empty <span> for empty content
Thu, 17 Apr 2014 17:41:24 -0400 Adam Chlipala uw_register_transactional() can return error codes
Tue, 15 Apr 2014 19:12:49 -0400 Adam Chlipala Tweaking uw_commit() logic, partly to fix a resource clean-up bug on SQL serialization failures
Mon, 24 Feb 2014 09:10:31 +0000 Sergey Mironov Add <pre> tag support
Wed, 26 Feb 2014 09:43:47 +0000 Sergey Mironov Protect uw_Basis_new_client_source from invalid ctx->id
Wed, 26 Feb 2014 08:21:52 +0000 Sergey Mironov Define uw_loggers structure, allow FFI code to access it
Sun, 13 Apr 2014 21:36:44 -0400 Adam Chlipala Update manual inaccuracies about client-side functions
Mon, 17 Mar 2014 16:52:10 -0400 Adam Chlipala -explainEmbed
Fri, 07 Mar 2014 11:50:45 -0500 Adam Chlipala getenv calls UNIX getenv() when no special alternative is set
Tue, 04 Mar 2014 08:46:33 -0500 Adam Chlipala Change Basis.getenv to return None outside the context of a web request
Tue, 25 Feb 2014 16:34:04 -0500 Adam Chlipala Parse new bytea output format from Postgres 9.x
Thu, 20 Feb 2014 15:50:33 -0500 Adam Chlipala Tweaked parameter renaming for functors, so now demos and the original bug-triggering application work
Thu, 20 Feb 2014 10:48:17 -0500 Adam Chlipala Fixed issue with datatype constructors inside functors; now on to some problem with modules inside functors
Thu, 20 Feb 2014 10:27:15 -0500 Adam Chlipala Some more nested functor bug-fixing, including generating fresh internal names at applications; still need to debug issues with datatype constructors
Tue, 18 Feb 2014 07:07:01 -0500 Adam Chlipala Merge with small clean-ups
Mon, 17 Feb 2014 19:25:30 -0500 Patrick Hurst Closing old datetime branch.
Mon, 17 Feb 2014 19:21:46 -0500 Patrick Hurst Add Datetime JavaScript support.
Sat, 15 Feb 2014 01:04:31 -0500 Patrick Hurst Merge in upstream
Fri, 14 Feb 2014 04:00:03 -0500 Patrick Hurst Merge in upstream