diff options
| author | David Aspinall | 1998-10-23 10:08:24 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-23 10:08:24 +0000 |
| commit | a4bc8ae7621e4c52038e55ec2daf34b35243403d (patch) | |
| tree | b11c1fd729b32fd9e616b424a0a8440a0ec0969a /etc/ProofGeneral.patch | |
| parent | e5c96b5a60eec1a64de3fd93d0d21e867a09c0f5 (diff) | |
Added fume-func doc note
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions