HomeIsabelle/Phabricator
Phame Blogs Isabelle NEWS J10
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.

Previous Post
Slightly improved isabelle build_docker tool
Next Post
Update of Isabelle/Phabricator setup
Written by makarius on Apr 28 2020, 10:16 PM.
User
Projects
None
Subscribers
None

Event Timeline