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.
targets for images, test, all;
authorwenzelm
Fri, 04 Aug 2000 11:22:59 +0200
changeset 9520 73f1c6685367
parent 9519 fdc3b5bcd79d
child 9521 c396d1092430
targets for images, test, all;
doc-src/Tutorial/IsaMakefile file | annotate | diff | comparison | revisions
doc-src/TutorialI/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/doc-src/Tutorial/IsaMakefile	Fri Aug 04 10:59:28 2000 +0200
+++ b/doc-src/Tutorial/IsaMakefile	Fri Aug 04 11:22:59 2000 +0200
@@ -5,6 +5,9 @@
 ## targets
 
 default: HOL-ToyList HOL-Ifexpr HOL-CodeGen HOL-Datatype HOL-Recdef HOL-Misc
+images:
+test:
+all: default
 
 
 ## global settings
--- a/doc-src/TutorialI/IsaMakefile	Fri Aug 04 10:59:28 2000 +0200
+++ b/doc-src/TutorialI/IsaMakefile	Fri Aug 04 11:22:59 2000 +0200
@@ -5,6 +5,9 @@
 ## targets
 
 default: HOL-ToyList HOL-Ifexpr HOL-CodeGen HOL-Trie HOL-Datatype HOL-Recdef HOL-Misc styles
+images:
+test:
+all: default
 
 
 ## global settings
isabelle