diff options
| author | David Aspinall | 1998-11-12 14:21:23 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-12 14:21:23 +0000 |
| commit | 2aa646d7a5a7d2387c036583abc93065e2cd807c (patch) | |
| tree | 540a5485cd8244a19445617353745ad894e7fb66 /isa | |
| parent | 1d9f8c0eed17ec356400d87973d68a5c0b4636bd (diff) | |
Fixed a regexp.
Diffstat (limited to 'isa')
| -rw-r--r-- | isa/isa-syntax.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isa/isa-syntax.el b/isa/isa-syntax.el index 135a1715..c00918dc 100644 --- a/isa/isa-syntax.el +++ b/isa/isa-syntax.el @@ -134,7 +134,7 @@ "\\)\\s-+\"\\(" isa-id "\\)\"\\s-*;")) (defcustom isa-goal-command-regexp - (concat "^" (proof-ids-to-regexp isa-keywords-goal)) + (proof-ids-to-regexp isa-keywords-goal) "Regular expression used to match a goal." :type 'regexp :group 'isabelle-config) |