| Sat, 21 Nov 2015 16:07:29 +0100 | wenzelm | clarified default; | changeset | files |
| Sat, 21 Nov 2015 16:06:36 +0100 | wenzelm | recovered auto update from f9aaca00be49; | changeset | files |
| Sat, 21 Nov 2015 15:45:09 +0100 | wenzelm | less intrusive rendering, notably for State dockable; | changeset | files |
| Sat, 21 Nov 2015 14:17:54 +0100 | wenzelm | clarified rendering of Markup.DOC: like Markup.PATH / Markup.URL; | changeset | files |
| Sat, 21 Nov 2015 14:10:32 +0100 | wenzelm | more direct access to option "editor_output_state"; | changeset | files |
| Sat, 21 Nov 2015 14:09:08 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 20 Nov 2015 21:52:05 +0100 | wenzelm | speculative support for polyml-5.6, according to git commit 3527f4ba7b8b; | changeset | files |