systematic access to command ids;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE2e59da922630: more robust: Pure entities may lack id;
- Branches
- Unknown
- Tags
systematic access to command ids; Tags None Subscribers None |