| Sun, 08 Sep 2013 18:10:12 +0200 | wenzelm | use windows_app based on WinRun4J; | changeset | files |
| Sun, 08 Sep 2013 17:51:56 +0200 | wenzelm | updated to WinRun4J; | changeset | files |
| Sun, 08 Sep 2013 12:26:07 +0200 | traytel | tuned whitespace | changeset | files |
| Sun, 08 Sep 2013 12:26:05 +0200 | traytel | don't register "sequential" as a keyword for now as this breaks the parser for function | changeset | files |
| Sat, 07 Sep 2013 23:09:26 +0200 | wenzelm | tuned proofs; | changeset | files |
| Sat, 07 Sep 2013 20:12:38 +0200 | wenzelm | merged | changeset | files |
| Sat, 07 Sep 2013 19:45:36 +0200 | wenzelm | tuned message; | changeset | files |
| Sat, 07 Sep 2013 19:18:05 +0200 | wenzelm | tuned message; | changeset | files |