diff options
| author | Makarius Wenzel | 2007-06-13 22:48:06 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2007-06-13 22:48:06 +0000 |
| commit | 5ac089f4c1c169b44e231d82b9f3a12de5c1fa18 (patch) | |
| tree | d9cd4b69c17e446cf1bc6ebdbb41ad943141224b /pgshell | |
| parent | 50e213462dc393e97b8b9bc70b94d78a1c22aca6 (diff) | |
added information about optional "Find Theorems" form;
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions