| Wed, 23 Sep 2009 19:17:48 +1000 | tsewell | Initial response to feedback from Norbert, Makarius on record patch | changeset | files |
| Tue, 22 Sep 2009 13:52:19 +1000 | Thomas Sewell | Branch merge for isabelle mainline updates. | changeset | files |
| Thu, 17 Sep 2009 14:17:37 +1000 | Thomas Sewell | Branch merge with updates from mainline isabelle. | changeset | files |
| Fri, 11 Sep 2009 20:58:29 +1000 | Thomas Sewell | Implement previous fix (don't duplicate ext_def) correctly. | changeset | files |
| Fri, 11 Sep 2009 18:03:30 +1000 | Thomas Sewell | There's no particular reason to duplicate the extension | changeset | files |
| Fri, 11 Sep 2009 15:57:16 +1000 | Thomas Sewell | Merged with mainline changes. | changeset | files |