diff options
| author | Makarius Wenzel | 1999-09-03 15:55:42 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-09-03 15:55:42 +0000 |
| commit | 6265bce5bc306b9920c0b5cd527b896c988a58aa (patch) | |
| tree | 8d6715aa50b5239cb7d9804fcef2810a90d9aaf5 /html | |
| parent | dd927ada6374d8a0c53ad622efc99aa48a71a606 (diff) | |
usage: tell PROOFGENERAL_OPTIONS;
-u true by default;
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions