diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-11-25 14:06:18 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-11-25 14:06:18 +0000 |
| commit | 73a59aba07146650d43fe3f7151114afa7d0c4be (patch) | |
| tree | 5acc25de72d7363f2510ad93b897d3059a5ecd98 /BUGS | |
| parent | 1cf453fdb1e5b73879016c3847b0c0901709b357 (diff) | |
Cleaned up some text.
Added example special display regexps.
Note about Isabelle PG clashing with sml-mode.
Diffstat (limited to 'BUGS')
0 files changed, 0 insertions, 0 deletions