diff options
| author | David Aspinall | 1998-10-02 14:57:21 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-02 14:57:21 +0000 |
| commit | a0840203d8579b8448861761c3a67dacea18cc3d (patch) | |
| tree | c135887ca956c97220eab88822e078abed8945ec /COPYING | |
| parent | 13173d9f1bbeee8dd9746a81e8af54968ad43877 (diff) | |
Moved menu definition back into proof-config-done.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions