HOL-Matrix: plain session;
authorwenzelm
Mon Jun 20 22:13:57 2005 +0200 (2005-06-20)
changeset 16484eaf7bb77fed6
parent 16483 ace3c2b95353
child 16485 77ae3bfa8b76
HOL-Matrix: plain session;
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Mon Jun 20 22:13:56 2005 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Mon Jun 20 22:13:57 2005 +0200
     1.3 @@ -622,12 +622,13 @@
     1.4  
     1.5  ## HOL-Matrix
     1.6  
     1.7 -HOL-Matrix: HOL HOL-Complex $(LOG)/HOL-Matrix.gz
     1.8 +HOL-Matrix: HOL $(LOG)/HOL-Matrix.gz
     1.9  
    1.10  $(LOG)/HOL-Matrix.gz: $(OUT)/HOL-Complex \
    1.11    Matrix/MatrixGeneral.thy Matrix/Matrix.thy Matrix/SparseMatrix.thy \
    1.12    Matrix/document/root.tex Matrix/ROOT.ML
    1.13 -	@cd Matrix; $(ISATOOL) usedir -b $(OUT)/HOL-Complex HOL-Matrix
    1.14 +	@$(ISATOOL) usedir $(OUT)/HOL-Complex Matrix
    1.15 +
    1.16  
    1.17  ## TLA
    1.18  
    1.19 @@ -689,7 +690,7 @@
    1.20                  $(LOG)/HOL-Bali.gz \
    1.21  		$(LOG)/HOL-MicroJava.gz $(LOG)/HOL-NanoJava.gz \
    1.22  		$(LOG)/HOL-IOA.gz $(LOG)/HOL-AxClasses \
    1.23 -		$(LOG)/HOL-Lattice \
    1.24 +		$(LOG)/HOL-Lattice $(LOG)/HOL-Matrix \
    1.25  		$(LOG)/HOL-Complex.gz \
    1.26  		$(LOG)/HOL-Complex-ex.gz \
    1.27  		$(LOG)/HOL-Complex-HahnBanach.gz $(LOG)/HOL-SET-Protocol.gz \