more uniform treatment of optional_argument for Latex elements;
discontinued somewhat pointless element position in Isabelle/Scala: semantic add-ons are better provided in Isabelle/ML;
clarified signature of class Latex: overridable unknown_elem allows to extend the markup language;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEf0e0fc82b0b9: removed pointless 'text_cartouche' command: regular 'text' already supports…
- Branches
- Unknown
- Tags