diff options
| author | David Aspinall | 2009-09-21 12:05:10 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-21 12:05:10 +0000 |
| commit | 9da1a0b7ecadbb18ee873cc66a46745bb3fa4dc2 (patch) | |
| tree | 503807268a391f4fb96922c2b3a7647b50415dc2 /hol98/root2.sml | |
| parent | 4dcbdcc74ba47bf8851310d1b608ca12d378bdce (diff) | |
Add Hide/Show to extra modes menu
Diffstat (limited to 'hol98/root2.sml')
0 files changed, 0 insertions, 0 deletions