changeset 13964 | bfca18e9ab72 |
parent 13961 | 233dd3bb2390 |
child 13966 | 2160abf7cfe7 |
--- a/src/HOL/IsaMakefile Tue May 06 10:40:43 2003 +0200 +++ b/src/HOL/IsaMakefile Tue May 06 10:47:17 2003 +0200 @@ -383,7 +383,7 @@ Auth/Guard/NS_Public.thy Auth/Guard/OtwayRees.thy \ Auth/Guard/P1.thy Auth/Guard/P2.thy \ Auth/Guard/Proto.thy Auth/Guard/Yahalom.thy - @$(ISATOOL) usedir $(OUT)/HOL Auth + @$(ISATOOL) usedir -g true $(OUT)/HOL Auth ## HOL-UNITY