omit menu for unfinished tool;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE49b16832f173: include ssh + rsync as required for Isabelle tools, e.g. "isabelle sync";
- Branches
- Unknown
- Tags
omit menu for unfinished tool; Tags None Subscribers None
Description
Details
|