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 |
Wed, 29 Jan 2014 18:29:43 -0500 |
Patrick Hurst |
Merge in upstream |
Sat, 25 Jan 2014 18:15:14 -0500 |
Patrick Hurst |
Use localtime, not gmtime, for datetime functions. |
Sat, 25 Jan 2014 18:13:33 -0500 |
Patrick Hurst |
Trim trailing whitespace in urweb.c. |
Mon, 20 Jan 2014 04:34:42 -0500 |
Patrick Hurst |
Bare-bones Datetime JS support. |
Sat, 18 Jan 2014 18:26:24 -0500 |
Patrick Hurst |
Merge in upstream changes. |
Mon, 09 Dec 2013 20:41:24 -0500 |
Patrick Hurst |
Declare datetimeDayOfWeek in urweb_cpp.h. |
Mon, 09 Dec 2013 19:19:12 -0500 |
Patrick Hurst |
Add datetime functions for adding time intervals. |
Sun, 08 Dec 2013 13:14:58 -0500 |
Patrick Hurst |
Finish datetime -> t rename |
Sun, 08 Dec 2013 03:25:31 -0500 |
Patrick Hurst |
Rename datetime type to t in the .urs file. |
Sat, 07 Dec 2013 21:31:51 -0500 |
Patrick Hurst |
Add day-of-week/month <-> int conversion functions. |