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