diff options
| author | David Aspinall | 1998-10-27 17:31:59 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-27 17:31:59 +0000 |
| commit | a7bace497992954e808de69847fd53345d6c3c0b (patch) | |
| tree | 1fa03bc9d321ad2a8fc4bb25ac66dcc269dc3f6f /etc/ProofGeneral.patch | |
| parent | 189b7a213b9dd9366dda6288e9a0a0e64bf06e49 (diff) | |
More fixes for cleaner byte compile.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions