[isabelle-dev] Consolidation of manual naming

Makarius 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 mailing list