eliminated potentially confusing terminology of Scala "layer";
authorwenzelm
Wed Sep 05 20:54:40 2012 +0200 (2012-09-05 ago)
changeset 49173fa01a202399c
parent 49172 bf6f727cb362
child 49174 41790d616f63
eliminated potentially confusing terminology of Scala "layer";
Admin/build
src/Doc/System/Basics.thy
src/Pure/PIDE/document.ML
src/Pure/System/invoke_scala.ML
src/Pure/System/invoke_scala.scala
src/Pure/build-jars
src/Tools/jEdit/README.html
     1.1 --- a/Admin/build	Wed Sep 05 20:36:13 2012 +0200
     1.2 +++ b/Admin/build	Wed Sep 05 20:54:40 2012 +0200
     1.3 @@ -25,7 +25,7 @@
     1.4  
     1.5      all             all modules below
     1.6      browser         graph browser (requires jdk)
     1.7 -    jars            Isabelle/Scala layer (requires \$ISABELLE_JDK_HOME and \$SCALA_HOME)
     1.8 +    jars            Isabelle/Scala (requires \$ISABELLE_JDK_HOME and \$SCALA_HOME)
     1.9      jars_test       test separate build of jars
    1.10      jars_fresh      fresh build of jars
    1.11  
     2.1 --- a/src/Doc/System/Basics.thy	Wed Sep 05 20:36:13 2012 +0200
     2.2 +++ b/src/Doc/System/Basics.thy	Wed Sep 05 20:54:40 2012 +0200
     2.3 @@ -446,8 +446,8 @@
     2.4    @{verbatim "-X"} option enables XML-based PGIP communication.
     2.5  
     2.6    \medskip The @{verbatim "-T"} or @{verbatim "-W"} option makes
     2.7 -  Isabelle enter a special process wrapper for interaction via the
     2.8 -  Isabelle/Scala layer, see also @{file
     2.9 +  Isabelle enter a special process wrapper for interaction via
    2.10 +  Isabelle/Scala, see also @{file
    2.11    "~~/src/Pure/System/isabelle_process.scala"}.  The protocol between
    2.12    the ML and JVM process is private to the implementation.
    2.13  
     3.1 --- a/src/Pure/PIDE/document.ML	Wed Sep 05 20:36:13 2012 +0200
     3.2 +++ b/src/Pure/PIDE/document.ML	Wed Sep 05 20:54:40 2012 +0200
     3.3 @@ -384,7 +384,7 @@
     3.4  
     3.5  fun init_theory deps node span =
     3.6    let
     3.7 -    (* FIXME provide files via Scala layer, not master_dir *)
     3.8 +    (* FIXME provide files via Isabelle/Scala, not master_dir *)
     3.9      val (dir, header) = read_header node span;
    3.10      val master_dir =
    3.11        (case try Url.explode dir of
     4.1 --- a/src/Pure/System/invoke_scala.ML	Wed Sep 05 20:36:13 2012 +0200
     4.2 +++ b/src/Pure/System/invoke_scala.ML	Wed Sep 05 20:54:40 2012 +0200
     4.3 @@ -1,7 +1,7 @@
     4.4  (*  Title:      Pure/System/invoke_scala.ML
     4.5      Author:     Makarius
     4.6  
     4.7 -JVM method invocation service via Scala layer.
     4.8 +JVM method invocation service via Isabelle/Scala.
     4.9  
    4.10  TODO: proper cancellation!
    4.11  *)
     5.1 --- a/src/Pure/System/invoke_scala.scala	Wed Sep 05 20:36:13 2012 +0200
     5.2 +++ b/src/Pure/System/invoke_scala.scala	Wed Sep 05 20:54:40 2012 +0200
     5.3 @@ -1,7 +1,7 @@
     5.4  /*  Title:      Pure/System/invoke_scala.scala
     5.5      Author:     Makarius
     5.6  
     5.7 -JVM method invocation service via Scala layer.
     5.8 +JVM method invocation service via Isabelle/Scala.
     5.9  */
    5.10  
    5.11  package isabelle
     6.1 --- a/src/Pure/build-jars	Wed Sep 05 20:36:13 2012 +0200
     6.2 +++ b/src/Pure/build-jars	Wed Sep 05 20:54:40 2012 +0200
     6.3 @@ -166,7 +166,7 @@
     6.4  
     6.5  if [ "$OUTDATED" = true ]
     6.6  then
     6.7 -  echo "### Building Isabelle/Scala layer ..."
     6.8 +  echo "### Building Isabelle/Scala ..."
     6.9  
    6.10    [ "${#UPDATED[@]}" -gt 0 ] && {
    6.11      echo "Changed files:"
     7.1 --- a/src/Tools/jEdit/README.html	Wed Sep 05 20:36:13 2012 +0200
     7.2 +++ b/src/Tools/jEdit/README.html	Wed Sep 05 20:54:40 2012 +0200
     7.3 @@ -67,7 +67,7 @@
     7.4  <li>Dockable panels (e.g. <em>Output</em>) are managed as independent
     7.5    windows by jEdit, which also allows multiple instances.</li>
     7.6  
     7.7 -<li>Prover process and source files are managed by the Scala layer on
     7.8 +<li>Prover process and source files are managed by the Isabelle/Scala on
     7.9  the editor side.  The prover experiences a mostly timeless and
    7.10  stateless environment of formal document content.</li>
    7.11