diff options
| author | David Aspinall | 2000-05-11 14:37:59 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-11 14:37:59 +0000 |
| commit | 9e5aacb5d93701aa7373cd7f34d78bf8925fbd6a (patch) | |
| tree | 16f073f4d6e54c1738915ef7b495ce15edef7447 /FAQ | |
| parent | c68ca4aa6cf07f863ce133dcf69444f8e8196064 (diff) | |
Load isabelle-system file shared with Isabelle Proof General.
Add default settings to proof-shell-init-cmd.
Add Isabelle menu to menubar.
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions