| Tue, 29 Sep 2009 16:42:02 +0200 | wenzelm | hide "ref" by default, to enforce excplicit indication as Unsynchronized; | changeset | files |
| Tue, 29 Sep 2009 16:24:36 +0200 | wenzelm | explicit indication of Unsynchronized.ref; | changeset | files |
| Tue, 29 Sep 2009 14:59:24 +0200 | wenzelm | open_unsynchronized for interactive Isar loop; | changeset | files |
| Tue, 29 Sep 2009 11:49:22 +0200 | wenzelm | explicit indication of Unsynchronized.ref; | changeset | files |
| Tue, 29 Sep 2009 11:48:32 +0200 | wenzelm | Raw ML references as unsynchronized state variables. | changeset | files |
| Mon, 28 Sep 2009 23:51:13 +0200 | wenzelm | Dummy version of state variables -- plain refs for sequential access. | changeset | files |