log

age author description
Fri, 19 Dec 2008 12:38:11 -0500 Adam Chlipala Displayed an alert dialog
Fri, 19 Dec 2008 11:47:18 -0500 Adam Chlipala Creation of sources in server code
Fri, 19 Dec 2008 10:27:58 -0500 Adam Chlipala Monad type class seems to be working
Fri, 19 Dec 2008 10:03:31 -0500 Adam Chlipala Initial conversion to arbitrary-kind classes
Fri, 19 Dec 2008 09:35:44 -0500 Adam Chlipala Add initial C support for reactive
Tue, 09 Dec 2008 14:44:52 -0500 Adam Chlipala Prepare to release
Tue, 09 Dec 2008 14:43:43 -0500 Adam Chlipala Spell check
Tue, 09 Dec 2008 14:41:19 -0500 Adam Chlipala Add SQL arithmetic operators