diff options
| author | David Aspinall | 2004-03-30 11:55:28 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-03-30 11:55:28 +0000 |
| commit | 3b34a4d996d01ec5e5424065bcbe83dd49cefe0b (patch) | |
| tree | 7046dad2f99c35db40508319faf11a596b1a26d1 /hol98/example.sml | |
| parent | b29ff95882befb16f46eb4b077689ac1d939606a (diff) | |
Mention importance of proof-shell-annotated-prompt-regexp.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions