[isabelle] Calling Isabelle tools without exiting



Dear Makarius,

what is the official way (from Isabelle/Scala) to invoke an Isabelle
tool without exiting the JVM? For example, if I want to invoke a
sequence of tools.

Cheers
Lars




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.