diff options
author | 2007-08-15 17:41:04 +0000 | |
---|---|---|
committer | 2007-08-15 17:41:04 +0000 | |
commit | be86be871f67097155104ce3dfdf2e982d39b543 (patch) | |
tree | a3e6ec05fcf4430e1e7487f0d2bbb4c55ddd126b /isar | |
parent | 3449ecf31c2cc19e3e8152183f4c0acdc6f5b532 (diff) |
removed outated comment;
Diffstat (limited to 'isar')
-rw-r--r-- | isar/isar.el | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/isar/isar.el b/isar/isar.el index 7a1b9a4b..9c717941 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -636,7 +636,6 @@ Checks the width in the `proof-goals-buffer'" (defun isar-goalhyplit-test () "This is a value for pg-topterm-goalhyplit-fn, see proof-config.el for docs." - ;; We need to find the end of the proof command on the current line. (let ((start (point))) (and (proof-re-search-forward "\375\\|\^AW" nil t) (cons 'lit (buffer-substring start (match-beginning 0)))))) |