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