diff options
| author | Pierre Courtieu | 2006-08-23 11:02:25 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2006-08-23 11:02:25 +0000 |
| commit | b83fa79d3764763deeba9e403e4646e22731d810 (patch) | |
| tree | c422775ea0fa9dbdf22d738e1ebeb7d2ff563d37 /generic/proof-syntax.el | |
| parent | 51fd985ce5de6eebdba4bb57e59e749e5360dac9 (diff) | |
fsf emacs compatibilty for symbol-at-point.
Diffstat (limited to 'generic/proof-syntax.el')
0 files changed, 0 insertions, 0 deletions