log

age author description
Wed, 11 Dec 2013 11:06:08 -0500 Adam Chlipala Add '-q' option to HTTP binaries
Mon, 07 Oct 2013 14:08:10 +0400 Sergey Mironov Add show instance for 'id' type
Mon, 09 Dec 2013 17:25:53 -0500 Adam Chlipala Merge
Mon, 09 Dec 2013 17:23:25 -0500 Adam Chlipala Add JavaScript mappings for isprint and ord
Mon, 09 Dec 2013 15:47:14 -0500 Adam Chlipala Rename <activeHead> to <script> and make it work properly
Fri, 06 Dec 2013 14:52:47 +0400 Sergey Mironov activeHead: don't modify the head. just execute the code provided
Fri, 06 Dec 2013 13:59:39 +0400 Sergey Mironov Add activeHead tag.
Fri, 06 Dec 2013 08:54:03 -0500 Adam Chlipala Small reformatting and documentation for '-print-cinclude'
Wed, 06 Nov 2013 13:54:07 +0400 Sergey Mironov Add -print-cinlude command line option
Fri, 06 Dec 2013 08:44:26 -0500 Adam Chlipala Add 'xhead' case to Monoize
Tue, 03 Dec 2013 16:54:04 -0500 Adam Chlipala Increase precision for rendering floats to SQL
Sun, 01 Dec 2013 16:28:02 -0500 Adam Chlipala Remove extra line break for onError
Fri, 29 Nov 2013 08:12:57 -0500 Adam Chlipala Postgres: remove DML error code logging and (hopefully) fix the real problem, not checking for concurrency faults on SELECTs
Thu, 28 Nov 2013 11:06:11 -0500 Adam Chlipala Add keepalive option to the http protocol