log Makefile.in

age author description
Thu, 03 May 2012 10:29:12 -0400 Adam Chlipala Adaptations to ezyang's patch
Wed, 02 May 2012 17:17:57 -0400 Edward Z. Yang Add support for -boot flag, which allows in-tree execution of Ur/Web
Sun, 29 Apr 2012 16:23:03 -0400 Adam Chlipala 'urweb daemon start' and 'urweb daemon stop'
Sat, 10 Mar 2012 13:13:15 -0500 Adam Chlipala New release
Sat, 05 Nov 2011 15:05:13 -0400 Adam Chlipala Support the full set of XHTML character entities
Thu, 04 Aug 2011 17:06:50 -0400 Adam Chlipala Configure correct C compiler options for Pthreads
Tue, 02 Aug 2011 14:45:19 -0400 Adam Chlipala Remove some GCC-specific identifier choice and documentation