log

age author description
Tue, 02 Aug 2011 20:17:41 -0400 Adam Chlipala Fix to use of .hg_archival.txt (thanks to Austin Seipp)
Tue, 02 Aug 2011 17:28:37 -0400 Adam Chlipala Improve detection of XML in urweb-mode; small tutorial improvement
Tue, 02 Aug 2011 17:04:14 -0400 Adam Chlipala Compile self-tail-calls as gotos
Tue, 02 Aug 2011 14:45:19 -0400 Adam Chlipala Remove some GCC-specific identifier choice and documentation
Tue, 02 Aug 2011 14:31:37 -0400 Adam Chlipala Introduce URWEB_STACK_SIZE environment variable (based on a patch by Hao Deng)
Tue, 02 Aug 2011 13:48:26 -0400 Adam Chlipala A few error message improvements
Tue, 02 Aug 2011 13:33:38 -0400 Adam Chlipala Tracking and printing of version numbers (based on a patch by Austin Seipp)
Sun, 24 Jul 2011 15:47:09 -0400 Adam Chlipala List.find
Sun, 24 Jul 2011 14:49:40 -0400 Adam Chlipala Client-side 'addSeconds'
Sun, 24 Jul 2011 10:51:48 -0400 Adam Chlipala <image>
Sat, 23 Jul 2011 16:27:04 -0400 Adam Chlipala A few more tweaks to support Clang (including ending use of nested functions)
Sat, 23 Jul 2011 09:42:34 -0400 Adam Chlipala Stop using -fno-inline by default
Fri, 22 Jul 2011 15:39:38 -0400 Adam Chlipala Backpedal on tutorial-motivated urweb-mode changes; add Basis.diffInSeconds and Basis.toSeconds
Wed, 20 Jul 2011 08:14:49 -0400 Adam Chlipala Tutorial: hyperlinks for metaprogramming and row types
Tue, 19 Jul 2011 09:18:50 -0400 Adam Chlipala Change cookie signature comparison to resist timing attacks (based on code suggested by Robin Green and Austin Seipp)
Sun, 17 Jul 2011 14:49:52 -0400 Adam Chlipala Tutorial: link to demo and manual
Sun, 17 Jul 2011 14:37:45 -0400 Adam Chlipala Copy some project front-page text to the tutorial intro
Sun, 17 Jul 2011 13:48:00 -0400 Adam Chlipala Document tutorial features
Sun, 17 Jul 2011 13:34:41 -0400 Adam Chlipala Tutorial proof-reading
Sun, 17 Jul 2011 13:04:07 -0400 Adam Chlipala Tutorial: TLC meets type classes and modules
Sun, 17 Jul 2011 11:51:05 -0400 Adam Chlipala Tutorial: folders
Sun, 17 Jul 2011 11:00:04 -0400 Adam Chlipala Tutorial: up to First-Class Polymorphism
Sun, 17 Jul 2011 10:27:09 -0400 Adam Chlipala Tutorial: Names and Records
Sat, 16 Jul 2011 14:20:30 -0400 Adam Chlipala In demo prose, note URL for hello demo