diff options
| author | David Aspinall | 2002-08-30 17:44:41 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-30 17:44:41 +0000 |
| commit | 79aa4978cc7395fa5e134e48e627e1b11e96648f (patch) | |
| tree | 2a53638d146cfffb873e0c594cc19706daa2d3b3 | |
| parent | d2d539facd7a239a09cb43fa06ec8cfc34388eea (diff) | |
Use old parser still for Isar for time being (see note in source)
| -rw-r--r-- | isar/isar.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isar/isar.el b/isar/isar.el index dc716f35..037077c7 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -120,7 +120,7 @@ See -k option for Isabelle interface script." isar-any-command-regexp (regexp-quote ";")) proof-script-integral-proofs t -; proof-script-use-old-parser t + proof-script-use-old-parser t proof-script-comment-start isar-comment-start proof-script-comment-end isar-comment-end proof-script-comment-start-regexp isar-comment-start-regexp |