Wed, 06 Apr 2016 17:16:30 +0200 | wenzelm | tuned signature; | file | diff | annotate |
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 |