diff options
| author | David Aspinall | 1999-11-15 15:03:40 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-15 15:03:40 +0000 |
| commit | 384ec2d05585fe1440b9612d842533ca8124a85a (patch) | |
| tree | 3db4e37779f246d576bf41547b866c180d8e9637 /generic | |
| parent | 1c79c15c6726f570f630a763d4fe5ad89945f756 (diff) | |
proof-font-lock-zap-commas=t
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions