# HG changeset patch
# User wenzelm
# Date 1216301715 -7200
# Node ID 5580fcca2b5d4dbbaa351660e626f19a04a92d59
# Parent  ec92e8eb6a1e1ed0a64b04d63688cda525cf6984
Admin/build browser;

diff -r ec92e8eb6a1e -r 5580fcca2b5d Admin/README.repos
--- 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