comparison src/demo.sig @ 501:7ef4b2911b09

Some demo improvements
author Adam Chlipala <adamc@hcoop.net>
date Thu, 20 Nov 2008 11:34:36 -0500
parents 758304561b60
children d069b193ed6b
comparison
equal deleted inserted replaced
500:581554f8e642 501:7ef4b2911b09
25 * POSSIBILITY OF SUCH DAMAGE. 25 * POSSIBILITY OF SUCH DAMAGE.
26 *) 26 *)
27 27
28 signature DEMO = sig 28 signature DEMO = sig
29 29
30 val make : {prefix : string, dirname : string} -> unit 30 val make : {prefix : string, dirname : string, guided : bool} -> unit
31 31
32 end 32 end