Mercurial Mercurial > wneuper > isa / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
doc-src/TutorialI/IsaMakefile
changeset 10791 778f0897e7e5
parent 10765 94aa0b568009
child 10840 28a53b68a8c0 
     1.1 --- a/doc-src/TutorialI/IsaMakefile	Fri Jan 05 15:16:40 2001 +0100
     1.2 +++ b/doc-src/TutorialI/IsaMakefile	Fri Jan 05 15:39:34 2001 +0100
     1.3 @@ -4,7 +4,7 @@
     1.4  
     1.5  ## targets
     1.6  
     1.7 -default: HOL-ToyList HOL-Ifexpr HOL-CodeGen HOL-Trie HOL-Datatype HOL-Recdef HOL-Advanced HOL-Rules HOL-Sets HOL-CTL HOL-Inductive  HOL-Types HOL-Misc styles
     1.8 +default: HOL-ToyList HOL-Ifexpr HOL-CodeGen HOL-Trie HOL-Datatype HOL-Recdef HOL-Advanced HOL-Rules HOL-Sets HOL-CTL HOL-Inductive  HOL-Real-Types HOL-Misc styles
     1.9  images:
    1.10  test:
    1.11  all: default
    1.12 @@ -149,9 +149,9 @@
    1.13  
    1.14  ## HOL-Types
    1.15  
    1.16 -HOL-Types: HOL-Real $(LOG)/HOL-Types.gz
    1.17 +HOL-Real-Types: HOL-Real $(LOG)/HOL-Real-Types.gz
    1.18  
    1.19 -$(LOG)/HOL-Types.gz: $(OUT)/HOL-Real Types/ROOT.ML \
    1.20 +$(LOG)/HOL-Real-Types.gz: $(OUT)/HOL-Real Types/ROOT.ML \
    1.21    Types/Numbers.thy Types/Pairs.thy Types/Typedef.thy \
    1.22    Types/Overloading0.thy Types/Overloading1.thy Types/Overloading2.thy \
    1.23    Types/Overloading.thy Types/Axioms.thy
wneuper/isa