diff options
| author | David Aspinall | 1998-10-12 12:32:54 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-12 12:32:54 +0000 |
| commit | e03a4d39d7a3c769e8384580829a697a65d1e3cf (patch) | |
| tree | efe37fa3bc10d72edee1e31c60c3739eb59dac53 /etc/ProofGeneral.patch | |
| parent | d44ae69502e825036daba4773b84c8ccfdcab9e3 (diff) | |
Removed proof-internal cus grp from proof group.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions