clarified GUIs: keep related buttons together;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE59a8b9a341aa: proper program name, e.g. for session "Intro";
- Branches
- Unknown
- Tags
clarified GUIs: keep related buttons together; Tags None Subscribers None |