search

dominique-unruh / scala-isabelle

A Scala library for controlling/interacting with Isabelle
https://dominique-unruh.github.io/scala-isabelle
MIT License
37 stars 7 forks source link

Sync control_isabelle_logged.ML with control_isabelle.ML #6

Closed dominique-unruh closed 2 years ago

dominique-unruh commented 2 years ago

Closed by f4bbea47dd5d259a6d3926e1871333278115a620