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.
make images;
authorwenzelm
Mon, 19 Jan 1998 16:25:36 +0100
changeset 4581 52edf5ac3afa
parent 4580 ae3caeb19589
child 4582 c5cfd00e4f28
make images;
build file | annotate | diff | comparison | revisions 
--- a/build	Thu Jan 15 14:16:46 1998 +0100
+++ b/build	Mon Jan 19 16:25:36 1998 +0100
@@ -150,7 +150,7 @@
 
 for L in $MAKE_LOGICS
 do
-  ( cd $ISABELLE_HOME/src/$L; $ISATOOL make $TEST )
+  ( cd $ISABELLE_HOME/src/$L; $ISATOOL make images $TEST )
 done
 
 echo -n "Finished at "; date
isabelle