diff options
| author | David Aspinall | 2010-10-10 17:05:06 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-10-10 17:05:06 +0000 |
| commit | efdd6a30edfe0795e382f11af1af58e559cee6fd (patch) | |
| tree | de1cc6f52a32306af45b03a8b6cb721ff206a984 /hol98/example.sml | |
| parent | edc03ccc504bc597294d79fa3d6c5bc34e779912 (diff) | |
pg-span-name: improve docstring.
proof-complete-buffer-atomic: simplify.
Add debug message for parser cache.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions