| 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 |