Mercurial > urweb
log include/urweb.h
age | author | description |
---|---|---|
Thu, 29 Apr 2010 17:24:42 -0400 | Adam Chlipala | Add rand to Basis and handle it in Iflow |
Sat, 30 Jan 2010 11:21:26 -0500 | Adam Chlipala | Update Makefile.in's with new Autotools; add extra 'return NULL' to placate some -Wall |
Tue, 26 Jan 2010 14:59:19 -0500 | Adam Chlipala | Handling errors during commit |
Tue, 12 Jan 2010 16:09:13 -0500 | Adam Chlipala | Allow escaped backslashes in literals; conversion betwixt int and char |
Sun, 10 Jan 2010 10:40:57 -0500 | Adam Chlipala | Support for protocol-specific expunger dispatch |
Thu, 07 Jan 2010 14:02:58 -0500 | Adam Chlipala | Basis.debug; more restrictive type for Basis.form; weaken definition of polymorphic-ness for especialization |