| Mon, 09 Sep 2013 13:47:58 +0200 | blanchet | enriched data structure with necessary theorems | changeset | files |
| Sun, 08 Sep 2013 19:25:06 +0200 | wenzelm | updated exe -- more explicit icon; | changeset | files |
| Sun, 08 Sep 2013 18:37:42 +0200 | wenzelm | more official lib/logo/isabelle.bmp; | changeset | files |
| 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 |