diff options
| author | David Aspinall | 2001-12-11 00:51:06 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-12-11 00:51:06 +0000 |
| commit | d75ebf1ab7e1ec256265581e20aa5eaf4fb4b4f9 (patch) | |
| tree | d6abd2023aa23c6e09b6fd4d2720f044f6dcdfd3 /hol98/example.sml | |
| parent | d98e849d6ae79d50b4fa8d5d73b79864d2b9149a (diff) | |
Allow toolbar toggle for GNU Emacs 21.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions