Fri, 02 Nov 2018 15:51:16 +0100 |
Bernhard Reiter |
Improve TODO list
|
Thu, 01 Nov 2018 14:20:56 +0100 |
Magnus Schieder |
updated TODO.
|
Mon, 17 Sep 2018 20:41:28 +0200 |
Magnus Schieder |
merged, Updated TODO, CHANGES
|
Mon, 06 Aug 2018 15:30:05 +0200 |
Magnus Schieder |
Updated TODO.
|
Thu, 28 Jun 2018 15:06:19 +0200 |
Magnus Schieder |
Rename getan-eval.py to getaneval.py
|
Thu, 28 Jun 2018 12:01:16 +0200 |
Magnus Schieder |
Logging can be activated and deactivated.
|
Wed, 16 May 2018 17:02:37 +0200 |
Magnus Schieder |
Add a redraw function on key Control-L.
|