Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** empty log message ***
authornipkow
Fri, 05 Jan 2001 15:39:34 +0100
changeset 10791 778f0897e7e5
parent 10790 520dd8696927
child 10792 78dfc5904eea
*** empty log message ***
doc-src/TutorialI/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/doc-src/TutorialI/IsaMakefile	Fri Jan 05 15:16:40 2001 +0100
+++ b/doc-src/TutorialI/IsaMakefile	Fri Jan 05 15:39:34 2001 +0100
@@ -4,7 +4,7 @@
 
 ## targets
 
-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
+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
 images:
 test:
 all: default
@@ -149,9 +149,9 @@
 
 ## HOL-Types
 
-HOL-Types: HOL-Real $(LOG)/HOL-Types.gz
+HOL-Real-Types: HOL-Real $(LOG)/HOL-Real-Types.gz
 
-$(LOG)/HOL-Types.gz: $(OUT)/HOL-Real Types/ROOT.ML \
+$(LOG)/HOL-Real-Types.gz: $(OUT)/HOL-Real Types/ROOT.ML \
   Types/Numbers.thy Types/Pairs.thy Types/Typedef.thy \
   Types/Overloading0.thy Types/Overloading1.thy Types/Overloading2.thy \
   Types/Overloading.thy Types/Axioms.thy
isabelle