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 |