Re: [isabelle] Isabelle code for getting in-memory representation (abstract syntax trees) for complete theory file (tree of loaded theories)
Sorry for the confusion I caused, Makarius. I was referring to the scala-isabelle library as an example of interacting with Isabelle through a Scala interface. Depending on one's needs, using Isabelle/Scala directly could, of course, be the idiomatic solution.
> On 5 Feb 2021, at 19:58, Makarius <makarius at sketis.net> wrote:
> On 05/02/2021 20:39, Wenda Li wrote:
>> For serious and robust development, I, too, believe the Isabelle/Scala
>> interface is the best option. Dominique’s scala-isabelle library
>> (https://github.com/dominique-unruh/scala-isabelle) could be of great use.
> I still don't understand the purpose of it.
> Why not use Isabelle/Scala directly, it is an integral part of Isabelle?
This archive was generated by a fusion of
Pipermail (Mailman edition) and