diff options
| author | Makarius Wenzel | 2002-05-03 15:06:49 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2002-05-03 15:06:49 +0000 |
| commit | 537f587fa95d80884b66f0d3ad1027a4094d7bc1 (patch) | |
| tree | 0674a76e70f3d965a9ff897e17bee2e363f54e1a /html | |
| parent | 4dc9625c2d9046f71c9f7cb29df5e93f2542bae4 (diff) | |
tuned proof-next-error setup;
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions