t     April 2020
       tSu Mo Tu We Th Fr Sa
       t          1  2  3  4
       t 5  6  7  8  9 10 11
       t12 13 14 15 16 17 18
       t19 20 21 22 23 24 25
       t26 27 28 29 30
       
       2020-04-27T10:32+0200
       Dropped in real arithmetic for the Scala code generator. Now shape domain just
       works.
       
       2020-04-20T18:13+0200
       Hacked with George. Now got the shape domain with S0 and S1 running in the Java
       generator.
       Fixed an annoying bug, where tests needed to reify Strings but were not
       initialized to do so.
       
       2020-04-20T11:27+0200
       Fixed backspace and delete keys in vim on server:
       
       set backspace=indent,eol,start
       
       Thanks to:
 (HTM) The Vim Fandom Wiki
       
       2020-04-20T10:49+0200
       Added vim key <Leader>d for inserting the date in .gph files:
       
       au BufEnter,BufNewFile,BufRead *.gph noremap <Leader>d :read !date -Iminutes
       
       2020-04-20T10:45+0200
       Merged expression problem generator back into master
       
       2020-04-20T10:37+0200
       Figured out that lines starting with a "t" in .gph files need another t:
       
       ttthe line needs two ts
       
       2020-04-20T10:12+0200
       Implemented abstract real number arithmetic (sqrt, pow, log, sin, cos, ...) for
       tthe expression problem generator and its java instantiation.  Main stumbling
       block was English word "real", which is more precise than "floating point".
       
       2020-04-20T03:12+0200
       Fixed the server timezone setting according to
 (HTM) Sabotage Linux Wiki
       Had to do
       
       kiss b tzdata
       kiss i tzdata
       
       And then 
       export TZ=Europe/Berlin
       in
       /etc/profile.d/timezone.boot
       
       
       2020-04-20T02:30+0200
       Figured out how to do gopher links on geomyidae .gph pages.
 (DIR) Remember Example
       
       2020-04-20T00:51+0200
       Setup of my gopher server is done.
       It is hosted by Netcup and uses KISS Linux:
 (HTM) Netcup
 (HTM) KISS