a15faa6309
interface to the user interface description and command language Tcl/Tk. It allows the implementation of graphical user interfaces in a structured and reusable way, supported by the powerful module system of Standard ML. WWW: http://www.informatik.uni-bremen.de/~cxl/sml_tk PR: ports/119640 Submitted by: Timothy Bourke <timbob at bigpond.com>
11 lines
449 B
Standard ML
11 lines
449 B
Standard ML
--- src/poly.sml.orig Sun Jan 13 18:42:52 2008
|
|
+++ src/poly.sml Sun Jan 13 18:42:35 2008
|
|
@@ -20,7 +20,7 @@
|
|
(* from Isabelle --- to be used in Makefiles *)
|
|
fun exportML{init:unit->unit,
|
|
banner:string,
|
|
- imagefile:string} = (PolyML.commit();())
|
|
+ imagefile:string} = (PolyML.SaveState.saveState imagefile)
|
|
(* runs only very rudimentarily . . . *)
|
|
|
|
fun setPrintDepth x = ();
|