diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-10-12 16:49:15 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-10-12 16:49:15 +0000 |
commit | d08b7740b55d4ec337a3f9f8544fe6a91a7dc39a (patch) | |
tree | 289ac88385cb850ab33321aa2327331e3781f8c6 /isar/isar-keywords.el | |
parent | 296de38e40b8e6528f0f1adc621c8b99595fc65e (diff) |
Removed note about probs with update()
Diffstat (limited to 'isar/isar-keywords.el')
0 files changed, 0 insertions, 0 deletions