User-defined Isabelle server commands via isabelle_scala_service
System
- Isabelle server allows user-defined commands via isabelle_scala_service.
This refers to Isabelle/f5722290a4d0.
- Projects
- None
- Subscribers
- None
This refers to Isabelle/f5722290a4d0.