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. |