log

age author description
Tue, 09 Mar 2010 18:43:29 -0500 Adam Chlipala Re-add accidentally-removed parsing case for 'effectful'
Tue, 09 Mar 2010 18:28:44 -0500 Adam Chlipala safeGet
Tue, 09 Mar 2010 17:50:42 -0500 Adam Chlipala Spiffed-up Split1; remove spurious error message triggered by 'open'ing a module containing a functor
Sat, 06 Mar 2010 19:14:48 -0500 Adam Chlipala Got split1 working, but noticed a nasty type inference bug with transplanted unification variables
Sat, 06 Mar 2010 16:15:26 -0500 Adam Chlipala Standard library moduls Incl and Mem; tweaks to Especialize and Unpoly
Thu, 04 Mar 2010 16:59:13 -0500 Adam Chlipala Dead code elimination in Reduce code
Thu, 04 Mar 2010 14:20:26 -0500 Adam Chlipala -verbose
Thu, 04 Mar 2010 13:47:16 -0500 Adam Chlipala Louder jscomp; toUpper/Lower fix for JavaScript
Tue, 02 Mar 2010 16:00:48 -0500 Adam Chlipala Tone down Reduce and compensate with a new push-lambda-inside-case rule in MonoOpt; expand more Basis synonyms in Monoize
Tue, 02 Mar 2010 10:33:49 -0500 Adam Chlipala Monad.foldMapR
Tue, 02 Mar 2010 09:46:17 -0500 Adam Chlipala String.isPrefix
Sun, 28 Feb 2010 15:46:41 -0500 Adam Chlipala Fix parsing of space-free .urp directives; use 'class' for 'c*' tags
Sun, 28 Feb 2010 13:06:10 -0500 Adam Chlipala Changing foldRX to mapX
Sat, 27 Feb 2010 16:49:11 -0500 Adam Chlipala benignEffectful
Sat, 27 Feb 2010 14:57:57 -0500 Adam Chlipala Basic analysis of tag and CSS class usage
Thu, 25 Feb 2010 15:08:52 -0500 Adam Chlipala Normalize URLs to deal with page names that contain apostrophes
Thu, 25 Feb 2010 14:55:35 -0500 Adam Chlipala Use COALESCE to hide NULL results of aggregate functions; fix bug with improper ordering of query result columns
Sat, 13 Feb 2010 13:10:05 -0500 Adam Chlipala Remove Basis.getRequestHeader, because it can subvert cookie security
Sat, 13 Feb 2010 10:13:50 -0500 Adam Chlipala New release
Thu, 11 Feb 2010 11:29:36 -0500 Adam Chlipala 'configure' checks for libmhash and MLton
Thu, 11 Feb 2010 09:10:01 -0500 Adam Chlipala sigfile directive
Tue, 09 Feb 2010 20:08:59 -0500 Adam Chlipala Tips for CGI scripts without httpd.conf access
Tue, 09 Feb 2010 17:00:31 -0500 Adam Chlipala Set additional request headers for POST RPCs
Tue, 09 Feb 2010 09:51:21 -0500 Adam Chlipala Update manual with Gian's experience building in OS X
Sun, 07 Feb 2010 16:13:09 -0500 Adam Chlipala Expand 'row types' in first paragraph of manual
Sun, 07 Feb 2010 15:50:13 -0500 Adam Chlipala Tiny Makefile fix for sed style/compatibility
Sun, 07 Feb 2010 09:51:41 -0500 Adam Chlipala Fix .urp parsing for real
Sun, 07 Feb 2010 09:38:27 -0500 Adam Chlipala Fix detection of blank lines in .urp
Sun, 07 Feb 2010 09:14:06 -0500 Adam Chlipala Remove debug prints
Sun, 07 Feb 2010 08:35:47 -0500 Adam Chlipala Call access() with F_OK
Sat, 06 Feb 2010 20:47:23 -0500 Adam Chlipala More fixes for NetBSD support
Sat, 06 Feb 2010 20:13:51 -0500 Adam Chlipala More is*() casts
Sat, 06 Feb 2010 16:54:13 -0500 Adam Chlipala Prototype memmem()
Sat, 06 Feb 2010 15:34:41 -0500 Adam Chlipala Allow .urp files without initial blank lines
Sat, 06 Feb 2010 13:53:26 -0500 Adam Chlipala More casting of isprint() arguments
Sat, 06 Feb 2010 13:46:17 -0500 Adam Chlipala AC_USE_SYSTEM_EXTENSIONS replaces the need for hacky #defines at starts of C files
Sat, 06 Feb 2010 13:27:05 -0500 Adam Chlipala AM_INIT_AUTOMAKE with no-define (to fix some NetBSD and OS X problems)
Sat, 06 Feb 2010 13:09:51 -0500 Adam Chlipala Trying to get urweb.c working for someone in NetBSD
Thu, 04 Feb 2010 16:29:09 -0500 Adam Chlipala Fixes for rooted modules
Thu, 04 Feb 2010 13:07:12 -0500 Adam Chlipala mhash will use saved signature
Sun, 31 Jan 2010 15:28:50 -0500 Adam Chlipala A litter more cautious about NULL applications; plug a memory leak in some Postgres functions
Sun, 31 Jan 2010 07:44:49 -0500 Adam Chlipala Remove mention of (hopefully) fixed problem with ./configure
Sat, 30 Jan 2010 20:21:15 -0500 Adam Chlipala Remove unneeded lib/c directory
Sat, 30 Jan 2010 15:34:00 -0500 Adam Chlipala Another try to include more Autofiles in the distribution
Sat, 30 Jan 2010 13:39:39 -0500 Adam Chlipala Remove a faulty time tweak from Postgres serialization
Sat, 30 Jan 2010 12:00:08 -0500 Adam Chlipala Change to satisfy GCC implicit aliasing rules
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
Sat, 30 Jan 2010 08:45:31 -0500 Adam Chlipala New release
Thu, 28 Jan 2010 20:10:32 -0500 Adam Chlipala Small tweaks
Thu, 28 Jan 2010 13:55:01 -0500 Adam Chlipala Run autoreconf at start of 'make reauto'
Thu, 28 Jan 2010 13:32:26 -0500 Adam Chlipala Switch to gcc -Wall
Thu, 28 Jan 2010 10:48:49 -0500 Adam Chlipala Get rid of those pesky symlinks for autotools files
Thu, 28 Jan 2010 09:56:08 -0500 Adam Chlipala First attempt to switch to Automake, to get shared libraries built in OSX
Tue, 26 Jan 2010 14:59:19 -0500 Adam Chlipala Handling errors during commit
Tue, 26 Jan 2010 09:04:55 -0500 Adam Chlipala Using libtool to build and install liburweb*
Tue, 26 Jan 2010 08:46:25 -0500 Adam Chlipala <img> has dimensions and needs special HTML handling
Tue, 12 Jan 2010 16:09:13 -0500 Adam Chlipala Allow escaped backslashes in literals; conversion betwixt int and char
Tue, 12 Jan 2010 11:19:02 -0500 Adam Chlipala Update manual for last two changesets
Tue, 12 Jan 2010 11:07:39 -0500 Adam Chlipala -path and -root command-line flags
Tue, 12 Jan 2010 10:33:03 -0500 Adam Chlipala Supporting any number of arguments for explicitly exported functions