# HG changeset patch # User Adam Chlipala # Date 1224435049 14400 # Node ID 2b604ae76611a22e517d01114ccbc8d17b6d0102 # Parent 168667cdaa95dc3fa49b7aa720cbd907b7962c50 Link demo diff -r 168667cdaa95 -r 2b604ae76611 demo/link.ur --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/demo/link.ur Sun Oct 19 12:50:49 2008 -0400 @@ -0,0 +1,7 @@ +fun target () = return + Welcome! + + +fun main () = return + Go there + diff -r 168667cdaa95 -r 2b604ae76611 demo/link.urp --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/demo/link.urp Sun Oct 19 12:50:49 2008 -0400 @@ -0,0 +1,2 @@ + +link diff -r 168667cdaa95 -r 2b604ae76611 demo/link.urs --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/demo/link.urs Sun Oct 19 12:50:49 2008 -0400 @@ -0,0 +1,1 @@ +val main : unit -> transaction page