Admin/README.repos
changeset 27630 5580fcca2b5d
parent 27461 c2bba6a4d750
child 28504 7ad7d7d6df47
--- 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