An ML interface to invoke the opentheory tool. Closes #2

gilith · May 23, 2018 · 4961442 · 4961442
1 parent 47918a6
commit 4961442
Show file tree

Hide file tree

Showing 8 changed files with 3,508 additions and 3,467 deletions.
diff --git a/Makefile b/Makefile
@@ -141,7 +141,8 @@ SRC = \
   src/Haskell.sig src/Haskell.sml \
   src/RepositoryQuery.sig src/RepositoryQuery.sml \
   src/Syntax.sig src/Syntax.sml \
-  src/Options.sig src/Options.sml
+  src/Options.sig src/Options.sml \
+  src/Tool.sig src/Tool.sml
 
 EXTRA_SRC =
 

diff --git a/Makefile.dev b/Makefile.dev
@@ -336,7 +336,7 @@ RELEASE_STAMP = scripts/release_stamp
 
 .PHONY: release-stamp
 release-stamp: $(RELEASE_STAMP)
-	 $(RELEASE_STAMP) -p opentheory doc/*.html src/opentheory.sml
+	 $(RELEASE_STAMP) -p opentheory doc/*.html src/Tool.sml
 
 .PHONY: documentation
 documentation:

diff --git a/doc/changelog.html b/doc/changelog.html
@@ -26,7 +26,13 @@
 
 <h3>Changes to the opentheory tool</h3>
 
-<!-- <p>Recent changes</p> -->
+<p>Recent changes</p>
+
+<ul>
+
+<li>An ML interface to invoke the opentheory tool.</li>
+
+</ul>
 
 <p>Version 1.4: 1 March 2018</p>
 

diff --git a/doc/download.html b/doc/download.html
@@ -28,7 +28,7 @@ <h3>Download the opentheory tool</h3>
 
 <p>The latest version is
 
-opentheory 1.4 (release 20180301),
+opentheory 1.4 (release 20180523),
 
 and can be downloaded in the following formats:</p>
 

diff --git a/doc/index.html b/doc/index.html
@@ -65,7 +65,7 @@ <h3>Project status</h3>
 
 is
 
-opentheory 1.4 (release 20180301).
+opentheory 1.4 (release 20180523).
 
 The opentheory tool is free software, released under the
 

diff --git a/src/Tool.sig b/src/Tool.sig
@@ -0,0 +1,21 @@
+(* ========================================================================= *)
+(* ML INTERFACE TO THE OPENTHEORY TOOL FOR PROCESSING THEORY PACKAGES        *)
+(* Copyright (c) 2018 Joe Leslie-Hurd, distributed under the MIT license     *)
+(* ========================================================================= *)
+
+signature Tool =
+sig
+
+(* ------------------------------------------------------------------------- *)
+(* Tool name.                                                                *)
+(* ------------------------------------------------------------------------- *)
+
+val name : string
+
+(* ------------------------------------------------------------------------- *)
+(* Invoke the tool on given command-line arguments.                          *)
+(* ------------------------------------------------------------------------- *)
+
+val main : string list -> unit
+
+end