diff options
author | 1998-11-04 13:56:39 +0000 | |
---|---|---|
committer | 1998-11-04 13:56:39 +0000 | |
commit | 95341d3ae61447ff5c9fa9be8f833af2a4195aa5 (patch) | |
tree | 511fd2d9f5c46b58325eff3a63392338688ed743 /isa | |
parent | a47df1c7efedc74ea484ecf278eb5123e9cde36f (diff) |
Added item for func-menu and proof-save-goal-with-hole-regexp
Diffstat (limited to 'isa')
0 files changed, 0 insertions, 0 deletions