merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rAFP94bcc3a69217: prefer old-fashioned {\ss} to prevent problems with encoding in lualatex;
rAFP1e477bb636c0: Removed autogeneration of labels for theories as it is not used and clashes… - Branches
- Unknown
- Tags
Merged Changes
Merged Changes