| Wed, 21 May 2014 16:21:11 +0200 | wenzelm | more uniform Font_Info.Zoom_Box; | changeset | files |
| Wed, 21 May 2014 15:24:42 +0200 | wenzelm | added zoom box, like for outer output windows; | changeset | files |
| Wed, 21 May 2014 14:42:45 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 21 May 2014 16:26:04 +0200 | Lars Hupel | consolidate "break_thm" and "break_term" attributes into "simp_break"; | changeset | files |
| Wed, 21 May 2014 14:09:43 +0200 | blanchet | docs | changeset | files |
| Wed, 21 May 2014 14:09:43 +0200 | blanchet | added comment | changeset | files |
| Wed, 21 May 2014 14:09:42 +0200 | blanchet | move exhaust first, for technical reasons | changeset | files |