Mercurial > urweb
log
| age | author | description |
|---|---|---|
| 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. |