Hi,
I have been writing a tool that interfaces with the Isabelle/Scala API,
and have previously (with Isabelle 2012) been using the example at
https://bitbucket.org/pide/pide_examples/src/5ac145e991f9/ex.scala?at=default
to load theories and run the prover, so that I can collect output and
process theory semantic information as needed.
As the instance method Session.edit_node no longer exists, may I ask
what the current method for loading nodes and running the prover is, please?
Thanks,
Avi
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
