| 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 |
| Mon, 04 Jan 2010 19:08:10 +0100 | wenzelm | back to explicit management of documents -- not as generic Session.Entity -- to avoid ill-defined referencing of new states; | changeset | files |
| Mon, 04 Jan 2010 00:13:09 +0100 | wenzelm | slightly more uniform/robust handling of visible document; | changeset | files |
| Sun, 03 Jan 2010 23:03:04 +0100 | wenzelm | recovered explicit Changed.id (copy of future document) -- avoids premature joining of result; | changeset | files |