diff --git a/source.dif b/source.dif index f2c133a..b633b3c 100644 --- a/source.dif +++ b/source.dif @@ -400,7 +400,7 @@ command_line_encoding = utf-8 + +% These are xmltex specific -+main_memory.xmltex = 1500000 ++main_memory.xmltex = 2500000 +param_size.xmltex = 1500 +stack_size.xmltex = 1500 +hash_extra.xmltex = 50000 diff --git a/texlive.changes b/texlive.changes index 5c89218..48e6fe8 100644 --- a/texlive.changes +++ b/texlive.changes @@ -1,3 +1,8 @@ +------------------------------------------------------------------- +Fri Mar 31 12:21:45 UTC 2023 - Dr. Werner Fink + +- Enlarge main memory of xmltex to get a format + ------------------------------------------------------------------- Tue Mar 28 08:54:27 UTC 2023 - Dr. Werner Fink