clarified build of standard heaps;
authorwenzelm
Wed Apr 10 15:10:43 2019 +0200 (5 months ago)
changeset 70105eadd87383e30
parent 70104 e6b7729453bf
child 70106 55220f2d09d2
clarified build of standard heaps;
NEWS
src/Pure/Admin/isabelle_devel.scala
src/Tools/jEdit/src/jedit_sessions.scala
     1.1 --- a/NEWS	Wed Apr 10 14:43:29 2019 +0200
     1.2 +++ b/NEWS	Wed Apr 10 15:10:43 2019 +0200
     1.3 @@ -90,6 +90,16 @@
     1.4  storage directory for "isabelle build". Option "-n" is now clearly
     1.5  separated from option "-s".
     1.6  
     1.7 +* The Isabelle/jEdit desktop application uses the same options as
     1.8 +"isabelle jedit" for its internal "isabelle build" process: the implicit
     1.9 +option "-o system_heaps" (or "-s") has been discontinued. This reduces
    1.10 +the potential for surprise wrt. command-line tools.
    1.11 +
    1.12 +* The official download of the Isabelle/jEdit application already
    1.13 +contains heap images for Isabelle/HOL within its main directory: thus
    1.14 +the first encounter becomes faster and more robust (e.g. when run from a
    1.15 +read-only directory).
    1.16 +
    1.17  * Isabelle DejaVu fonts are available with hinting by default, which is
    1.18  relevant for low-resolution displays. This may be disabled via system
    1.19  option "isabelle_fonts_hinted = false" in
     2.1 --- a/src/Pure/Admin/isabelle_devel.scala	Wed Apr 10 14:43:29 2019 +0200
     2.2 +++ b/src/Pure/Admin/isabelle_devel.scala	Wed Apr 10 15:10:43 2019 +0200
     2.3 @@ -61,7 +61,9 @@
     2.4          Isabelle_System.update_directory(root + Path.explode(RELEASE_SNAPSHOT),
     2.5            website_dir =>
     2.6              Build_Release.build_release(base_dir, options, rev = rev, afp_rev = afp_rev,
     2.7 -              parallel_jobs = parallel_jobs, website = Some(website_dir)))
     2.8 +              parallel_jobs = parallel_jobs,
     2.9 +              build_sessions = List(Isabelle_System.getenv("ISABELLE_LOGIC")),
    2.10 +              website = Some(website_dir)))
    2.11        })
    2.12    }
    2.13  
     3.1 --- a/src/Tools/jEdit/src/jedit_sessions.scala	Wed Apr 10 14:43:29 2019 +0200
     3.2 +++ b/src/Tools/jEdit/src/jedit_sessions.scala	Wed Apr 10 15:10:43 2019 +0200
     3.3 @@ -29,7 +29,7 @@
     3.4      val options1 =
     3.5        Isabelle_System.getenv("JEDIT_BUILD_MODE") match {
     3.6          case "default" => options
     3.7 -        case mode => options.bool.update("system_heaps", mode == "" | mode == "system")
     3.8 +        case mode => options.bool.update("system_heaps", mode == "system")
     3.9        }
    3.10  
    3.11      val options2 =