Command-line tool "isabelle sessions"
System
- The command-line tool "isabelle sessions" explores the structure of Isabelle sessions and prints result names in topological order (on stdout).
This refers to Isabelle/e2ad50885887.
- Projects
- None
- Subscribers
- None