equal
deleted
inserted
replaced
44 native platform format, before invoking Java (\secref{sec:scala-tools}). |
44 native platform format, before invoking Java (\secref{sec:scala-tools}). |
45 |
45 |
46 \<^medskip> |
46 \<^medskip> |
47 There is also an implicit build process for Isabelle/Scala/Java modules, |
47 There is also an implicit build process for Isabelle/Scala/Java modules, |
48 based on \<^path>\<open>etc/build.props\<close> within the component directory (see also |
48 based on \<^path>\<open>etc/build.props\<close> within the component directory (see also |
49 \secref{sec:scala-build}). |
49 \secref{sec:scala-build}). See \<^file>\<open>$ISABELLE_HOME/src/Tools/Demo/README.md\<close> |
|
50 for an example components with command-line tools in Isabelle/Scala. |
50 \<close> |
51 \<close> |
51 |
52 |
52 |
53 |
53 section \<open>Command-line tools \label{sec:scala-tools}\<close> |
54 section \<open>Command-line tools \label{sec:scala-tools}\<close> |
54 |
55 |