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