- Dec 27, 2022
-
-
Luigi Scarso authored
-
Luigi Scarso authored
Ensured that load_hyphenation has enough Lua stack, and pops the latest table pushed in (Michal Vlasák).
-
Luigi Scarso authored
-
Luigi Scarso authored
-
- Oct 22, 2022
-
-
Luigi Scarso authored
[[Split portion of a mixed commit.]]
-
Luigi Scarso authored
[[Split portion of a mixed commit.]]
-
- Oct 19, 2022
-
-
Luigi Scarso authored
[[Split portion of a mixed commit.]]
-
Luigi Scarso authored
[[Split portion of a mixed commit.]]
-
- Sep 29, 2022
-
-
Luigi Scarso authored
[[Split portion of a mixed commit.]]
-
Luigi Scarso authored
[[Split portion of a mixed commit.]]
-
- Aug 16, 2022
-
-
Luigi Scarso authored
[[Split portion of a mixed commit.]]
-
Luigi Scarso authored
[[Split portion of a mixed commit.]]
-
Luigi Scarso authored
[[Split portion of a mixed commit.]]
-
Luigi Scarso authored
[[Split portion of a mixed commit.]]
-
- Aug 05, 2022
-
-
Luigi Scarso authored
[[Split portion of a mixed commit.]]
-
Luigi Scarso authored
[[Split portion of a mixed commit.]]
-
- Jul 30, 2022
-
-
Luigi Scarso authored
[[Split portion of a mixed commit.]]
-
Luigi Scarso authored
[[Split portion of a mixed commit.]]
-
Luigi Scarso authored
-
Luigi Scarso authored
Take exception pre/port disc font from wordstart (H.Hagen). Fixed some missed files in trunk from latest update from TexLive [[Split portion of a mixed commit.]]
-
Luigi Scarso authored
Take exception pre/port disc font from wordstart (H.Hagen). Fixed some missed files in trunk from latest update from TexLive [[Split portion of a mixed commit.]]
-
- May 23, 2022
-
-
Luigi Scarso authored
[[Split portion of a mixed commit.]]
-
Luigi Scarso authored
[[Split portion of a mixed commit.]]
-
- May 15, 2022
-
-
Luigi Scarso authored
[[Split portion of a mixed commit.]]
-
Luigi Scarso authored
[[Split portion of a mixed commit.]]
-
- Apr 26, 2022
-
-
Luigi Scarso authored
[[Split portion of a mixed commit.]]
-
Luigi Scarso authored
[[Split portion of a mixed commit.]]
-
- Apr 25, 2022
-
-
Luigi Scarso authored
[[Split portion of a mixed commit.]]
-
Luigi Scarso authored
[[Split portion of a mixed commit.]]
-
- Apr 18, 2022
-
-
Luigi Scarso authored
[[Split portion of a mixed commit.]]
-
Luigi Scarso authored
[[Split portion of a mixed commit.]]
-
- Apr 13, 2022
-
-
Luigi Scarso authored
[[Split portion of a mixed commit.]]
-
Luigi Scarso authored
[[Split portion of a mixed commit.]]
-
- Apr 01, 2022
-
-
Luigi Scarso authored
-
Luigi Scarso authored
-
- Mar 09, 2022
-
-
Luigi Scarso authored
-
Luigi Scarso authored
-
- Feb 28, 2022
-
-
Luigi Scarso authored
-
Luigi Scarso authored
-
- Feb 27, 2022
-
-
Luigi Scarso authored
-