more convenient ML arguments: avoid excessive nesting of cartouches;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE6e4093927dbb: outer syntax: support for control-cartouche tokens;
- Branches
- Unknown
- Tags
more convenient ML arguments: avoid excessive nesting of cartouches; Tags None Subscribers None |