diff options
| author | David Aspinall | 1998-10-01 16:45:31 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-01 16:45:31 +0000 |
| commit | 90b42bf1a93a6b32a371d8d1ac18e27c7046ade4 (patch) | |
| tree | 2b6a7ea7fed10ab162c092a5793f806a2f2905fb /etc/ProofGeneral.patch | |
| parent | 8703c08af5fffffa12cb82b70909ed19a2af4850 (diff) | |
Added todo for next/previous functions.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions