| changeset 15647 | b1f486a9c56b |
| parent 15635 | 8408a06590a6 |
| child 15653 | 3549ff7158f3 |
--- a/src/HOL/IsaMakefile Fri Apr 01 18:40:14 2005 +0200 +++ b/src/HOL/IsaMakefile Fri Apr 01 18:59:17 2005 +0200 @@ -6,7 +6,7 @@ default: HOL generate: HOL-Complex-Generate-HOL -images: HOL HOL-Algebra HOL-Complex TLA ####lcp temporary####HOL4 +images: HOL HOL-Algebra HOL-Complex TLA HOL4 #Note: keep targets sorted (except for HOL-Library) test: \