diff options
| author | Thomas Kleymann | 1998-10-22 13:21:23 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-10-22 13:21:23 +0000 |
| commit | 18021e2580cd8e667bf40a850bc2b30b3c54e0cf (patch) | |
| tree | c47351402f5ba9d1c109f2fa31c94e0b59f260a0 /etc/ProofGeneral.patch | |
| parent | 9c1fb98ea7e2ddadacc56d46215f58c5abc56174 (diff) | |
renamed fume-match-find-next-function-name
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions