diff options
author | 2011-10-13 11:00:26 +0000 | |
---|---|---|
committer | 2011-10-13 11:00:26 +0000 | |
commit | 911f7d4a22a1a91ee04d66a0efe74a0bd9dd1830 (patch) | |
tree | 97ab378d907f51314a4366ae00767804d314e3fd /isar/isabelle-system.el | |
parent | 8801f39c72c5b88c79ca52655d4591cee7579c69 (diff) |
Update for 4.2 cycle
Diffstat (limited to 'isar/isabelle-system.el')
0 files changed, 0 insertions, 0 deletions