diff options
| author | Makarius Wenzel | 2000-07-01 18:13:29 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-07-01 18:13:29 +0000 |
| commit | 87e2337e6ed2beec88704f0f41d8133a4752ac5a (patch) | |
| tree | f721aad338e84a18bb47d246468ecbf99ff72718 /html/proofgen.css | |
| parent | 1662113a1ab9ae8d490c76eb07a518a0375cd599 (diff) | |
activate global-timing;
Diffstat (limited to 'html/proofgen.css')
0 files changed, 0 insertions, 0 deletions