diff options
| author | David Aspinall | 1998-10-09 13:43:00 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-09 13:43:00 +0000 |
| commit | 5e19c3e5bdc749e234a96268f30f2eb2a8878645 (patch) | |
| tree | b84196ebbad546138073e9893d6ff62b18604092 /etc/ProofGeneral.patch | |
| parent | 6a52ce4da196e146db2d2e551362c4c5c38a9ab3 (diff) | |
Added todos for: rsh, multi file failure, multi file in Isabelle, splash.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions