diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2012-01-09 16:52:25 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2012-01-09 16:52:25 +0000 |
| commit | 527463db94b95e136637709561e07e59f06298c6 (patch) | |
| tree | 99a263270f90f7962e57f548a0f27c058e79976c /hol-light/hol-light.el | |
| parent | f74a9efeb59b7ea8150fea829c3f092a18c44352 (diff) | |
proof-shell-start-goals-regexp: shy match to avoid introducing match group
Diffstat (limited to 'hol-light/hol-light.el')
0 files changed, 0 insertions, 0 deletions