diff options
| author | Pierre Courtieu | 2002-06-14 18:20:45 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2002-06-14 18:20:45 +0000 |
| commit | a638d1ca03da2f564e945ecce472dcd7b5864cac (patch) | |
| tree | f29966af45599af5077bf714c4bbee4e9f72cff5 /generic/proof-script.el | |
| parent | 848f9a434391768be475e5b900e7a8232a7b5da9 (diff) | |
Print and Check guess their argument from the region or the string
near the point.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions