tuned name, e.g. relevant for Naproche-SAD debugging in Isabelle/jEdit;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE7e70d7dd1baa: more operations for client connection;
- Branches
- Unknown
- Tags
tuned name, e.g. relevant for Naproche-SAD debugging in Isabelle/jEdit; Tags None Subscribers None |