| Sun, 13 Apr 2014 15:32:03 +0200 | wenzelm | clarified according to ML version; | file | diff | annotate |
| Mon, 03 Mar 2014 11:58:07 +0100 | wenzelm | clarified path checks: avoid crash of rendering due to spurious errors; | file | diff | annotate |
| Tue, 18 Feb 2014 18:43:47 +0100 | wenzelm | prefer concrete list append; | file | diff | annotate |