| Tue, 05 Apr 2016 21:23:32 +0200 | wenzelm | back to static conditional compilation -- simplified bootstrap; | file | diff | annotate |
| Mon, 04 Apr 2016 19:48:54 +0200 | wenzelm | clarified conditional compilation; | file | diff | annotate |
| Thu, 10 Mar 2016 09:50:53 +0100 | wenzelm | clarified files; | file | diff | annotate | base |