| Sat, 17 Sep 2011 16:29:18 +0200 | wenzelm | added "isabelle scalac" convenience; | changeset | files |
| Sat, 17 Sep 2011 16:19:40 +0200 | wenzelm | Symbol.explode as in ML; | changeset | files |
| Sat, 17 Sep 2011 16:00:54 +0200 | wenzelm | ignore OUTPUT to avoid spam -- jEdit menu "Troubleshooting / Activity Log" should be sufficient; | changeset | files |