From 7b2adf1cc7384c096709f51c89eb9a519b38dab1 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Wed, 14 Apr 2004 01:41:38 +0000 Subject: fixed regexp problem with function menu --- isar/isar.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'isar/isar.el') diff --git a/isar/isar.el b/isar/isar.el index 5793fc78..58e0fa7a 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -140,7 +140,7 @@ See -k option for Isabelle interface script." proof-save-command-regexp isar-save-command-regexp proof-goal-command-regexp isar-goal-command-regexp proof-goal-with-hole-regexp isar-named-entity-regexp ; da - proof-goal-with-hole-result 1 + proof-goal-with-hole-result 3 proof-save-with-hole-regexp nil proof-script-next-entity-regexps isar-next-entity-regexps -- cgit v1.2.3