| Thu, 27 Aug 2009 00:40:53 +1000 | tsewell | Initial attempt at porting record update to repository Isabelle. | changeset | files |
| Tue, 29 Sep 2009 16:42:29 +0200 | wenzelm | Synchronized and Unsynchronized; | changeset | files |
| Tue, 29 Sep 2009 16:42:02 +0200 | wenzelm | hide "ref" by default, to enforce excplicit indication as Unsynchronized; | changeset | files |