Mercurial > urweb

diff src/demo.sig @ 501:7ef4b2911b09

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Some demo improvements
author Adam Chlipala <adamc@hcoop.net>
date Thu, 20 Nov 2008 11:34:36 -0500
parents 758304561b60
children d069b193ed6b
line wrap: on
line diff
--- a/src/demo.sig	Thu Nov 20 10:44:28 2008 -0500
+++ b/src/demo.sig	Thu Nov 20 11:34:36 2008 -0500
@@ -27,6 +27,6 @@
 
 signature DEMO = sig
 
-    val make : {prefix : string, dirname : string} -> unit
+    val make : {prefix : string, dirname : string, guided : bool} -> unit
 
 end