diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2001-08-30 19:25:22 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2001-08-30 19:25:22 +0000 |
| commit | 097e5d17498bc64a45aeaa7383d3db2b1bada222 (patch) | |
| tree | bc353117d6618833d62d066dbf064b7f94f8c169 /html | |
| parent | 7e22cd0bd7bc203de8be2260a49eb2445661c92c (diff) | |
proof-script-integral-proofs t;
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions