log

age author description
Tue, 21 Oct 2008 10:56:43 -0400 Adam Chlipala lt, le working for int
Tue, 21 Oct 2008 10:40:22 -0400 Adam Chlipala num_float
Tue, 21 Oct 2008 10:34:07 -0400 Adam Chlipala num working for int
Tue, 21 Oct 2008 09:52:52 -0400 Adam Chlipala Monoize eq_[bool|string]
Tue, 21 Oct 2008 09:50:19 -0400 Adam Chlipala Binops; equality tested on int; lame 404 substitute
Sun, 19 Oct 2008 16:49:09 -0400 Adam Chlipala Fix a nasty indent bug, found while working on listFun
Sun, 19 Oct 2008 15:47:47 -0400 Adam Chlipala Support for URL prefixes that works with local demo
Sun, 19 Oct 2008 15:19:41 -0400 Adam Chlipala Building combined demo app
Sun, 19 Oct 2008 14:53:38 -0400 Adam Chlipala Small demo prettifications
Sun, 19 Oct 2008 14:51:12 -0400 Adam Chlipala Generating fontified source files
Sun, 19 Oct 2008 14:13:08 -0400 Adam Chlipala Generating urp HTML
Sun, 19 Oct 2008 14:05:00 -0400 Adam Chlipala Demo HTML generation, minus source code