Mon, 05 Jun 2017 15:59:45 +0200 | haftmann | streamlined code setup for fake terms | file | diff | annotate |
Mon, 05 Sep 2016 23:11:00 +0200 | wenzelm | clarified modules; | file | diff | annotate |
Thu, 26 May 2016 15:27:50 +0200 | haftmann | delegate inclusion of required dictionaries to user-space instead of half-working magic | file | diff | annotate |