diff options
author | 2017-03-31 17:39:41 +0200 | |
---|---|---|
committer | 2017-03-31 17:39:41 +0200 | |
commit | 2cff44522ab8bdca8d73e3819f6ab89984f2c97c (patch) | |
tree | 66326d537bb308618163f6fd16e16700c9001a4e /doc/ProofGeneral.texi | |
parent | ff8438b9930ad21b625a02e9c172c8293556f3cc (diff) |
Fixing #173.
Diffstat (limited to 'doc/ProofGeneral.texi')
0 files changed, 0 insertions, 0 deletions