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