Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOLCF/IsaMakefile
changeset 3118 24dae6222579
parent 3081 71c54eb8ed1d
child 3190 5aa3756a4bf2 
--- a/src/HOLCF/IsaMakefile	Tue May 06 15:24:41 1997 +0200
+++ b/src/HOLCF/IsaMakefile	Tue May 06 15:27:35 1997 +0200
@@ -6,7 +6,7 @@
 
 #### Base system
 
-OUT = $(ISABELLE_OUTPUT_DIR)
+OUT = $(ISABELLE_OUTPUT)
 
 THYS = Porder.thy Porder0.thy Pcpo.thy \
        Fun1.thy Fun2.thy Fun3.thy \
isabelle