diff options
| author | David Aspinall | 2000-05-31 14:20:16 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-31 14:20:16 +0000 |
| commit | c4fc6624312392d6ca1d9f8fec61f6a3de5571b8 (patch) | |
| tree | eba6979506d88b66f6a878ac79d82e15f249ed07 /html/smallheader.phtml | |
| parent | 3bbc2f082ba938f7b1ce7e920cacc6ac067ecd9f (diff) | |
Commented out global-timing since it seems to be Isabelle99-1 specific.
Diffstat (limited to 'html/smallheader.phtml')
0 files changed, 0 insertions, 0 deletions