Mercurial > urweb
log doc/manual.tex
age | author | description |
---|---|---|
Tue, 15 Apr 2014 19:12:49 -0400 | Adam Chlipala | Tweaking uw_commit() logic, partly to fix a resource clean-up bug on SQL serialization failures |
Sun, 13 Apr 2014 21:36:44 -0400 | Adam Chlipala | Update manual inaccuracies about client-side functions |
Mon, 17 Mar 2014 16:52:10 -0400 | Adam Chlipala | -explainEmbed |