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


	Makarius




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