diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-11-12 14:19:33 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-11-12 14:19:33 +0000 |
| commit | a4eeaebc3acf11643257a2c177c46a6f914be59e (patch) | |
| tree | f94e8f641097619856fd1a64c1a3dfb5efebeb5e /lego | |
| parent | 5b3dc4e3ede97d03b2d37b0596784ce82f9e9586 (diff) | |
Renamed proof-mode-name -> proof-general-name.
Reimplemented configuration for fume-menu.
Now works for named goals, named saves, and (e.g. lego) both!
Removed some FIXME's.
Diffstat (limited to 'lego')
0 files changed, 0 insertions, 0 deletions