| changeset 2635 | 835820c1591d |
| parent 2607 | a224a2865e05 |
| child 2826 | 0b0d9e3bc661 |
--- a/src/HOL/IsaMakefile Sat Feb 15 17:44:10 1997 +0100 +++ b/src/HOL/IsaMakefile Sat Feb 15 17:45:08 1997 +0100 @@ -197,8 +197,8 @@ ## Full test -test: $(OUT)/HOL TFL IMP Hoare Lex Integ Auth Subst Lambda W0 MiniML \ - IOA AxClasses ex +test: $(OUT)/HOL \ + TFL IMP Hoare Lex Integ Auth Subst Lambda W0 MiniML IOA AxClasses ex echo 'Test examples ran successfully' > test