diff options
| author | Hendrik Tews | 2013-07-17 08:44:42 +0000 |
|---|---|---|
| committer | Hendrik Tews | 2013-07-17 08:44:42 +0000 |
| commit | ddd42a2be53d055acd410df43eaf73f3d1c315d3 (patch) | |
| tree | f940f74d350ad85305b44bac96a3e25e740ff8da /generic | |
| parent | 383711eace340b0ebab10782896de0021133afa4 (diff) | |
fix ProofGeneral.texi for info
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions