diff options
| author | David Aspinall | 2000-05-01 18:18:30 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-01 18:18:30 +0000 |
| commit | e9ac9e8eb3d2567ff1ab12cf7bfdd60d5df2c30f (patch) | |
| tree | 2174f36ab1eb25c86534c6b95177634c11a6f2c2 /html | |
| parent | e3b0ad751924c57db4ec8e72759edd2070757097 (diff) | |
Added proof-assistant-menu-entries for proof assistant specific menus.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions