tuned;
authorwenzelm
Thu Jan 16 16:35:17 2020 +0100 (5 days ago)
changeset 7138921995f5e8126
parent 71388 57861bd0a3e1
child 71390 5e7ba6aa85d7
tuned;
src/Doc/System/Scala.thy
     1.1 --- a/src/Doc/System/Scala.thy	Thu Jan 16 16:15:25 2020 +0100
     1.2 +++ b/src/Doc/System/Scala.thy	Thu Jan 16 16:35:17 2020 +0100
     1.3 @@ -97,8 +97,8 @@
     1.4  section \<open>Project setup for common Scala IDEs\<close>
     1.5  
     1.6  text \<open>
     1.7 -  The @{tool_def scala_project} tool creates a Gradle project configuration
     1.8 -  for Isabelle/Scala/jEdit:
     1.9 +  The @{tool_def scala_project} tool creates a project configuration for
    1.10 +  Isabelle/Scala/jEdit:
    1.11    @{verbatim [display]
    1.12  \<open>Usage: isabelle scala_project [OPTIONS] PROJECT_DIR
    1.13  
    1.14 @@ -108,23 +108,23 @@
    1.15    Setup Gradle project for Isabelle/Scala/jEdit --- to support Scala IDEs
    1.16    such as IntelliJ IDEA.\<close>}
    1.17  
    1.18 -  The generated project configuration is for Gradle\<^footnote>\<open>\<^url>\<open>https://gradle.org\<close>\<close>,
    1.19 -  but the main purpose is to import it into common Scala IDEs, such as
    1.20 -  IntelliJ IDEA\<^footnote>\<open>\<^url>\<open>https://www.jetbrains.com/idea\<close>\<close>. This allows to explore
    1.21 -  the sources with static analysis and other hints in real-time.
    1.22 +  The generated configuration is for Gradle\<^footnote>\<open>\<^url>\<open>https://gradle.org\<close>\<close>, but the
    1.23 +  main purpose is to import it into common Scala IDEs, such as IntelliJ
    1.24 +  IDEA\<^footnote>\<open>\<^url>\<open>https://www.jetbrains.com/idea\<close>\<close>. This allows to explore the
    1.25 +  sources with static analysis and other hints in real-time.
    1.26  
    1.27    The specified project directory must not exist yet. The generated files
    1.28 -  refer to physical file locations, using the path notation of the underlying
    1.29 -  OS platform. Thus the project needs to be recreated whenever the Isabelle
    1.30 -  installation is changed or moved.
    1.31 +  refer to physical file-system locations, using the path notation of the
    1.32 +  underlying OS platform. Thus the project needs to be recreated whenever the
    1.33 +  Isabelle installation is changed or moved.
    1.34  
    1.35    \<^medskip> By default, Scala sources are \<^emph>\<open>copied\<close> from the Isabelle distribution and
    1.36    editing them within the IDE has no permanent effect.
    1.37  
    1.38 -  Alternatively, option \<^verbatim>\<open>-l\<close> may be used to produce symlinks to the original
    1.39 -  files: this allows to develop Isabelle/Scala/jEdit within an external Scala
    1.40 -  IDE. Note that building the result always requires \<^verbatim>\<open>isabelle jedit -b\<close> on
    1.41 -  the command-line.
    1.42 +  Option \<^verbatim>\<open>-l\<close> produces \<^emph>\<open>symlinks\<close> to the original files: this allows to
    1.43 +  develop Isabelle/Scala/jEdit within an external Scala IDE. Note that
    1.44 +  building the result always requires \<^verbatim>\<open>isabelle jedit -b\<close> on the
    1.45 +  command-line.
    1.46  \<close>
    1.47  
    1.48  end