diff options
| author | David Aspinall | 1998-08-11 11:43:14 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-08-11 11:43:14 +0000 |
| commit | 77687d352a1b1bcb5d359b6ee1dd8a29ec3c31ae (patch) | |
| tree | 338c5fa96b344a06bc167fb4b5989bea0db6023b /isa/example.ML | |
| parent | 1ad05a7d629eb4240930ddc7b3a3e6f1828a1841 (diff) | |
Renamed <file>-fontlock to <file>-syntax
Diffstat (limited to 'isa/example.ML')
0 files changed, 0 insertions, 0 deletions