Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
reverted 09cdc4209d25 for formal reasons: it did not say what was "broken" nor "fixed", but broke IsaMakefile dependencies;
authorwenzelm
Mon, 26 Sep 2011 20:39:18 +0200
changeset 459583417c1b91e3c
parent 45957 3933a0cbd049
child 45959 c8cd5348c76d
reverted 09cdc4209d25 for formal reasons: it did not say what was "broken" nor "fixed", but broke IsaMakefile dependencies;
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
     1.1 --- a/src/HOL/IsaMakefile	Mon Sep 26 20:31:41 2011 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Mon Sep 26 20:39:18 2011 +0200
     1.3 @@ -1162,7 +1162,7 @@
     1.4    TPTP/ATP_Export.thy \
     1.5    TPTP/CASC_Setup.thy \
     1.6    TPTP/atp_export.ML
     1.7 -	@cd TPTP; $(ISABELLE_TOOL) usedir -b $(OUT)/HOL TPTP
     1.8 +	@$(ISABELLE_TOOL) usedir $(OUT)/HOL TPTP
     1.9  
    1.10  
    1.11  ## HOL-Multivariate_Analysis
wneuper/isa