2012-09-14 | wenzelm | refined output panel: more value-oriented approach to update and caret focus; | changeset | files |
2012-09-14 | wenzelm | clarified markup names; | changeset | files |
2012-09-14 | wenzelm | more general Document_Model.point_range; | changeset | files |
2012-09-14 | wenzelm | more static handling of rendering options; | changeset | files |
2012-09-14 | wenzelm | tuned options (again); | changeset | files |
2012-09-14 | wenzelm | more scalable option-group; | changeset | files |
2012-09-14 | nipkow | tuned | changeset | files |
Loading... |