diff options
| author | Pierre Courtieu | 2014-12-22 15:29:11 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2014-12-22 15:29:11 +0000 |
| commit | 5e0855925629694936a0f73936defa20a1758172 (patch) | |
| tree | 5ac532650b305d1d9b24b49e635b6c2f978da905 /hol98/example.sml | |
| parent | eb8bee3157b4300174da08054e50884c8b32ed08 (diff) | |
Fixing a bug of multiple frame mode (obsolete variable in emacs > 23.4.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions