# HG changeset patch # User Adam Chlipala # Date 1236696558 14400 # Node ID 8e17e6b615bdfee03ac02df16f5cf3820dad363a # Parent aa2290c32ce29af8a46253b629c9fcbe63acf5d6 Alert demo diff -r aa2290c32ce2 -r 8e17e6b615bd demo/alert.ur --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/demo/alert.ur Tue Mar 10 10:49:18 2009 -0400 @@ -0,0 +1,3 @@ +fun main () = return +