diff options
| author | David Aspinall | 1999-11-12 19:31:15 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-12 19:31:15 +0000 |
| commit | 0f58b7aa2a981f775fa082815a96939fee1b701d (patch) | |
| tree | 0153f75d5738b0f69119ceb2988b4aab52e68a15 /html/smallheader.phtml | |
| parent | 72663161833c9a5a5518e5621ccda800294b63bc (diff) | |
Fixes for Isabelle in case theory file is visited before script file.
Diffstat (limited to 'html/smallheader.phtml')
0 files changed, 0 insertions, 0 deletions