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> 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
>> ( 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?
> 	Makarius

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