Mercurial > urweb

comparison src/demo.sig @ 1301:4359e185d3af

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Demo improvements
author Adam Chlipala <adam@chlipala.net>
date Thu, 30 Sep 2010 18:29:59 -0400
parents d069b193ed6b
children
comparison
equal deleted inserted replaced
1300:e3944a8a128a 1301:4359e185d3af
28 signature DEMO = sig 28 signature DEMO = sig
29 29
30 val make : {prefix : string, dirname : string, guided : bool} -> unit 30 val make : {prefix : string, dirname : string, guided : bool} -> unit
31 val make' : {prefix : string, dirname : string, guided : bool} -> bool 31 val make' : {prefix : string, dirname : string, guided : bool} -> bool
32 32
33 val noEmacs : bool ref
34
33 end 35 end