| Mon, 06 Apr 2020 12:53:45 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Sun, 05 Apr 2020 13:05:40 +0200 | wenzelm | clarified names; | file | diff | annotate |
| Fri, 27 Mar 2020 22:01:27 +0100 | wenzelm | misc tuning based on hints by IntelliJ IDEA; | file | diff | annotate |
| Sat, 01 Apr 2017 19:17:15 +0200 | wenzelm | clarified YXML vs. symbol encoding: operate on whole message; | file | diff | annotate |
| Tue, 14 Mar 2017 11:16:23 +0100 | wenzelm | more robust startup, despite remaining race condition of debugger.is_active vs. session.is_ready; | file | diff | annotate |
| Tue, 14 Mar 2017 10:49:07 +0100 | wenzelm | more robust debugger initialization, e.g. required for GUI components before actual session startup; | file | diff | annotate |
| Tue, 14 Mar 2017 00:09:15 +0100 | wenzelm | misc tuning and simplification; | file | diff | annotate |