[isabelle-dev] Consolidation of manual naming
makarius at sketis.net
Thu Apr 10 15:16:51 CEST 2014
On Mon, 7 Apr 2014, Makarius wrote:
> Getting acquainted with Isabelle/Scala is definitely a good thing. The
> isabelle_scala_script wrapper makes it easy to get started without
> interference of the Pure.jar build process.
> In this particular case I've accidentally done the work already, when
> passing by some other "doc" related details. See bc61161a5bd0, which
> may also serve here is mini-tutorial how to convert a shell script into
> some Isabelle/Scala function.
Maybe you are interested to see how your Isabelle/ML operations for tmp
dirs (with rm_tree) now look in Isabelle/Scala:
Thanks to the Java 7 "Files" module, it is now possible to do it without
"rm -r -f" in an external process.
More information about the isabelle-dev