diff options
| author | David Aspinall | 2003-02-05 22:16:33 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-02-05 22:16:33 +0000 |
| commit | 79c55fb55d8019015f088340fd088aca5dfacd2b (patch) | |
| tree | 751328fd1fba5b560f9f47056ac2de813c63f253 /hol98/example.sml | |
| parent | f59be791218fca2f3a0a82a5d5db4a16ce49f33f (diff) | |
Give up on customize-menu-create on GNU Emacs
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions