| Wed, 10 May 2023 20:30:46 +0200 | wenzelm | more informative position information; | file | diff | annotate |
| Sat, 01 Apr 2023 21:12:44 +0200 | wenzelm | more compact data; | file | diff | annotate |
| Sun, 10 Apr 2016 17:52:30 +0200 | wenzelm | tuned -- avoid recoding properties; | file | diff | annotate |
| Sat, 09 Apr 2016 14:52:10 +0200 | wenzelm | shared thread position for physical/virtual Pure; | file | diff | annotate |