Thu, 28 Jun 2018 16:27:09 +0200 |
Magnus Schieder |
Removes dead code.
|
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, 27 Jun 2018 11:54:56 +0200 |
Magnus Schieder |
Changed Hashbangs to python3.
|
Wed, 27 Jun 2018 11:43:11 +0200 |
Magnus Schieder |
Removed getan classic.
|
Tue, 26 Jun 2018 14:33:39 +0200 |
Bernhard Reiter |
Fix typo in CHANGES
|
Wed, 16 May 2018 17:02:37 +0200 |
Magnus Schieder |
Add a redraw function on key Control-L.
|