--- a/Admin/README.repos Thu Jul 17 15:33:01 2008 +0200
+++ b/Admin/README.repos Thu Jul 17 15:35:15 2008 +0200
@@ -29,9 +29,8 @@
Building logic images with browser info generation (which is the
default setting) requires a compiled version of the browser JVM
-application. Change to the directory
-"$ISABELLE/Distribution/lib/browser" and issue make; this requires
-Java JDK 1.4 or greater.
+application. Invoking ``$ISABELLE/Admin/build browser'' will do the
+job.
Now you can build images by going to corresponding folders and issuing:
isatool make