diff options
| author | David Aspinall | 2002-08-28 23:07:41 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-28 23:07:41 +0000 |
| commit | 08f9b032abee4323acdf61555bf0cbe512968eda (patch) | |
| tree | 6b1bd10f9b1e6cfcdb1a4a3f80003e8523a3b56d /html/htmlshow.php | |
| parent | 78bd1cffbc75c8e56fa3d53eb8bf5751cb38e63c (diff) | |
Change to proof-shell-theorem-dependency-regexp; also add code to make nested submenus of deps.
Diffstat (limited to 'html/htmlshow.php')
0 files changed, 0 insertions, 0 deletions