diff options
| author | David Aspinall | 2005-09-30 14:56:05 +0000 |
|---|---|---|
| committer | David Aspinall | 2005-09-30 14:56:05 +0000 |
| commit | b8f373c606c31539fc8b261c8346e73b8fb0f8fb (patch) | |
| tree | 21c420f322a17c2dbedbc919d6d93cbe9569ea5d /BUGS.developer | |
| parent | f964465a2ad8124c65cc4cebddb34d5135ee1e99 (diff) | |
Fix multiple Isabelle submenus on mode popup.
Diffstat (limited to 'BUGS.developer')
0 files changed, 0 insertions, 0 deletions