changeset 17710 | 9a13e0abdb82 |
parent 17645 | 940371ea0ff3 |
child 17783 | 4175daa1286c |
--- a/src/HOL/IsaMakefile Thu Sep 29 00:59:02 2005 +0200 +++ b/src/HOL/IsaMakefile Thu Sep 29 00:59:03 2005 +0200 @@ -6,7 +6,7 @@ default: HOL generate: HOL-Complex-Generate-HOL HOL-Complex-Generate-HOLLight -images: HOL HOL-Algebra HOL-Complex HOL-Complex-Matrix TLA +images: HOL HOL-Algebra HOL-Complex HOL-Complex-Matrix TLA HOL4 #Note: keep targets sorted (except for HOL-Library) test: \