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.
target 'generate';
authorwenzelm
Sat, 29 May 2004 15:10:30 +0200
changeset 14842 3a1fe2c524d0
parent 14841 37fc364a60c3
child 14843 72607f591d24
target 'generate';
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Sat May 29 15:09:47 2004 +0200
+++ b/src/HOL/IsaMakefile	Sat May 29 15:10:30 2004 +0200
@@ -7,6 +7,7 @@
 ## targets
 
 default: HOL
+generate: HOL-Complex-Generate-HOL
 images: HOL HOL-Algebra HOL-Complex TLA HOL4
 
 #Note: keep targets sorted (except for HOL-Library)
isabelle