[isabelle-dev] Consolidation of manual naming

[Makarius]

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: 
http://isabelle.in.tum.de/repos/isabelle/annotate/57b5c8db55f1/src/Pure/System/isabelle_system.scala#l398

Thanks to the Java 7 "Files" module, it is now possible to do it without 
"rm -r -f" in an external process.


 	Makarius