diff options
author | 2010-10-01 16:16:53 +0000 | |
---|---|---|
committer | 2010-10-01 16:16:53 +0000 | |
commit | 58472ae80b692c593306003123b19780c4d11838 (patch) | |
tree | 38aff9c0ca5c4d89369926262ecdd9307ff1298f /doc/proofgeneral.1 | |
parent | 27116fe22a0ef9b535c23a3163e8dab9d9e3b65e (diff) |
Document query identifier
Diffstat (limited to 'doc/proofgeneral.1')
0 files changed, 0 insertions, 0 deletions