diff options
| author | David Aspinall | 1998-10-12 12:45:08 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-12 12:45:08 +0000 |
| commit | c5cfcda5020b70994f5721b53837e2621cf13ed8 (patch) | |
| tree | 19e48068214e099fd7516bccd4ca05954e4a6ad5 /etc/ProofGeneral.patch | |
| parent | e03a4d39d7a3c769e8384580829a697a65d1e3cf (diff) | |
Toolbar featurep. Separate Internals menu. Doc strings.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions