merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLE7bb074cceefe: de-applying
rISABELLEbc97bd4c0474: prefer old-fashioned {\ss} to prevent problems with encoding in lualatex; - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
- 9bb16dcb9ed8 unused (see 7b318273a4aa);Author
- 09d1d7332185 unused (see 564012e31db1);Author
- d24a8cea343b proper Windows 32bit platform;Author
- babd74b71ea8 added lemmaAuthor
- 0134a7d6ad56 less bulky session stack;Author
- 9a7a14117967 clarified document export;Author
- a756e464e9e3 tuned signature;Author