diff --git a/development/FORMAT b/development/FORMAT index 2f4097c3bf..0c3bf536a4 100644 --- a/development/FORMAT +++ b/development/FORMAT @@ -7,6 +7,14 @@ changes happened in particular if possible. A good example would be ----------------------- +2019-07-11 Uwe Stöhr + Jürgen Spitzmüller + * Format incremented to 580: support for document font options + New buffer parameters + - \fonts_roman_opts + - \fonts_sans_opts + - \fonts_typewriter_opts + 2019-07-11 Jürgen Spitzmüller * Format incremented to 579: Add support for \babelfont. diff --git a/lib/latexfonts b/lib/latexfonts index 0c753df6cc..56c1d7e16b 100644 --- a/lib/latexfonts +++ b/lib/latexfonts @@ -22,6 +22,7 @@ # ScOption