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.
tuned;
authorwenzelm
Wed, 02 Dec 1998 16:14:09 +0100
changeset 6011 c48050d6928d
parent 6010 fc58d3c1fd62
child 6012 1894bfc4aee9
tuned;
src/HOLCF/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOLCF/IsaMakefile	Wed Dec 02 16:10:49 1998 +0100
+++ b/src/HOLCF/IsaMakefile	Wed Dec 02 16:14:09 1998 +0100
@@ -123,10 +123,10 @@
 
 IOA-Storage: IOA $(LOG)/IOA-Storage.gz
 
-$(LOG)/IOA-Storage.gz: IOA/Storage/Action.ML IOA/Storage/Action.thy \
-  IOA/Storage/Correctness.ML IOA/Storage/Correctness.thy \
-  IOA/Storage/Impl.ML IOA/Storage/Impl.thy IOA/Storage/ROOT.ML \
-  IOA/Storage/Spec.thy
+$(LOG)/IOA-Storage.gz: $(OUT)/IOA IOA/Storage/Action.ML \
+  IOA/Storage/Action.thy IOA/Storage/Correctness.ML \
+  IOA/Storage/Correctness.thy IOA/Storage/Impl.ML IOA/Storage/Impl.thy \
+  IOA/Storage/ROOT.ML IOA/Storage/Spec.thy
 	@cd IOA; $(ISATOOL) usedir $(OUT)/IOA Storage
isabelle