Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
improved session names;
authorwenzelm
Thu, 20 Mar 1997 11:38:58 +0100
changeset 2827 cce436a62740
parent 2826 0b0d9e3bc661
child 2828 13136dc7b9d0
improved session names;
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Thu Mar 20 11:32:57 1997 +0100
+++ b/src/HOL/IsaMakefile	Thu Mar 20 11:38:58 1997 +0100
@@ -86,8 +86,8 @@
  $(IOA_MT_NAMES:%=IOA/meta_theory/%.thy) $(IOA_MT_NAMES:%=IOA/meta_theory/%.ML)
 
 IOA:	$(OUT)/HOL $(IOA_FILES)
-	@$(ISATOOL) usedir $(OUT)/HOL IOA/NTP
-	@$(ISATOOL) usedir $(OUT)/HOL IOA/ABP
+	@$(ISATOOL) usedir -s IOA-NTP $(OUT)/HOL IOA/NTP
+	@$(ISATOOL) usedir -s IOA-ABP $(OUT)/HOL IOA/ABP
 
 
 ## Authentication & Security Protocols
@@ -178,9 +178,9 @@
 
 AxClasses: $(OUT)/HOL $(AXCLASSES_FILES)
 	@$(ISATOOL) usedir $(OUT)/HOL AxClasses
-	@$(ISATOOL) usedir $(OUT)/HOL AxClasses/Group
-	@$(ISATOOL) usedir $(OUT)/HOL AxClasses/Lattice
-	@$(ISATOOL) usedir $(OUT)/HOL AxClasses/Tutorial
+	@$(ISATOOL) usedir -s AxClasses-Group $(OUT)/HOL AxClasses/Group
+	@$(ISATOOL) usedir -s AxClasses-Lattice $(OUT)/HOL AxClasses/Lattice
+	@$(ISATOOL) usedir -s AxClasses-Tutorial $(OUT)/HOL AxClasses/Tutorial
 
 
 ## Miscellaneous examples
isabelle