Re: [isabelle] Isabelle code for getting in-memory representation (abstract syntax trees) for complete theory file (tree of loaded theories)

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?


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