changeset 14025 | d9b155757dc8 |
parent 13984 | e055ba9020eb |
child 14029 | fe031a7c75bc |
--- a/src/HOL/IsaMakefile Tue May 13 08:59:21 2003 +0200 +++ b/src/HOL/IsaMakefile Wed May 14 10:22:09 2003 +0200 @@ -10,11 +10,11 @@ images: HOL HOL-Algebra HOL-Complex TLA #Note: keep targets sorted (except for HOL-Library) +# HOL-Bali test: \ HOL-Library \ HOL-Auth \ HOL-AxClasses \ - HOL-Bali \ HOL-Complex-ex \ HOL-CTL \ HOL-Extraction \