log src/mono_reduce.sml

age author description
Tue, 30 Dec 2008 15:53:04 -0500 Adam Chlipala Propagated a source change into a dynamic document element
Tue, 30 Dec 2008 11:33:31 -0500 Adam Chlipala Harmonized source-setting between server and client
Tue, 30 Dec 2008 10:49:42 -0500 Adam Chlipala Setting a source server-side
Sun, 21 Dec 2008 12:56:39 -0500 Adam Chlipala Trivial use of a source
Sun, 21 Dec 2008 12:30:57 -0500 Adam Chlipala Handling singnal bind
Sat, 20 Dec 2008 15:46:48 -0500 Adam Chlipala Initial <dyn> support
Fri, 19 Dec 2008 12:38:11 -0500 Adam Chlipala Displayed an alert dialog