diff options
| author | David Aspinall | 1999-08-23 15:11:24 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-08-23 15:11:24 +0000 |
| commit | 20602e2c1e759fcaf3fa4f642b05be62f21bf9f1 (patch) | |
| tree | a113c2ee786eb4d777829985081aa8e7ac4f3978 /html | |
| parent | 1ad1257747b9f22c6a3b1763da17e7dd9724d12f (diff) | |
Improved syntax by copying from isar-syntax.el.
Begun on section for Isabelle output syntax.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions