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