diff options
| author | David Aspinall | 2000-03-22 13:10:00 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-22 13:10:00 +0000 |
| commit | ba0ff9573efd0dadf2843605783b11714f91681d (patch) | |
| tree | dd285104038340f7dd0b13a66843104f72904b0f /generic/proof-script.el | |
| parent | 6f0a63109da29ff37da2cc4d212220b26f14ce00 (diff) | |
Comment about tripping bug in Isabelle
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions