diff options
| author | David Aspinall | 1998-10-28 18:12:01 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-28 18:12:01 +0000 |
| commit | 1bb8be763ac9aebec505df833ecae0da870fddca (patch) | |
| tree | 2e143430a0250dcde627b50aa4289845b9bc77ed /generic/proof-script.el | |
| parent | e7d0144d443a28367b165bb407674d2c26e1fe49 (diff) | |
Added customize group for Proof General faces and fixed other
groups in proof-config.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions