author | huffman |
Wed, 17 Aug 2011 14:32:48 -0700 | |
changeset 45123 | c478cd500dc4 |
parent 45122 | e37e1ef33bb8 |
child 45128 | 5f202ae4340c |
child 45130 | b922e91dd1d9 |
1.1 --- a/src/HOL/IsaMakefile Wed Aug 17 13:10:49 2011 -0700 1.2 +++ b/src/HOL/IsaMakefile Wed Aug 17 14:32:48 2011 -0700 1.3 @@ -1580,7 +1580,7 @@ 1.4 HOLCF/Library/Sum_Cpo.thy \ 1.5 HOLCF/Library/HOLCF_Library.thy \ 1.6 HOLCF/Library/ROOT.ML 1.7 - @$(ISABELLE_TOOL) usedir $(OUT)/HOLCF Library 1.8 + @cd HOLCF; $(ISABELLE_TOOL) usedir $(OUT)/HOLCF Library 1.9 1.10 1.11 ## HOLCF-IMP