| Fri, 08 Jan 2010 12:25:37 +0100 | wenzelm | added jEdit Console and Scala compiler; | changeset | files |
| Fri, 08 Jan 2010 00:47:10 +0100 | wenzelm | some attempts at Scala console plugin; | changeset | files |
| Wed, 06 Jan 2010 23:46:00 +0100 | wenzelm | more precise treatment of document/state assigment; | changeset | files |
| Tue, 05 Jan 2010 18:29:21 +0100 | wenzelm | more precise notion of bad messages; | changeset | files |
| Tue, 05 Jan 2010 18:23:39 +0100 | wenzelm | use Text_Edit provided by Isabelle; | changeset | files |
| Tue, 05 Jan 2010 18:23:15 +0100 | wenzelm | result.is_ready is not bad; | changeset | files |
| Mon, 04 Jan 2010 19:42:35 +0100 | wenzelm | singleton status messages, with more precise patterns -- report bad messages; | changeset | files |