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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
