diff options
| author | David Aspinall | 1999-11-15 10:28:00 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-15 10:28:00 +0000 |
| commit | 7627f5f0c721d0669fe000d281d9aea1ef3dd4b4 (patch) | |
| tree | 5b9a7808233c485a5a42aa8509528581f53ae762 /isa/Example.ML | |
| parent | cf56cc1cc7133f89f2605c38e46d748821cb9a8d (diff) | |
Tuned splash screen for FSF emacs. Added proof-font-lock-zap-commas
Diffstat (limited to 'isa/Example.ML')
0 files changed, 0 insertions, 0 deletions