diff options
| author | David Aspinall | 1999-11-17 19:55:16 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-17 19:55:16 +0000 |
| commit | efc3b93d9371ebb34fded6a3d903596b9529fa9c (patch) | |
| tree | 788b70b27f5d9aad34a83d6acece79d2ca41c7bc | |
| parent | c7f85cc52c95bedaba7a4f0a113f59b69f3a41b7 (diff) | |
Formatting
| -rw-r--r-- | demoisa/demoisa-easy.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/demoisa/demoisa-easy.el b/demoisa/demoisa-easy.el index d1407fe1..64710ff1 100644 --- a/demoisa/demoisa-easy.el +++ b/demoisa/demoisa-easy.el @@ -19,7 +19,7 @@ (proof-easy-config 'demoisa "Isabelle Demo" - proof-prog-name "isabelle" + proof-prog-name "isabelle" proof-terminal-char ?\; proof-comment-start "(*" proof-comment-end "*)" @@ -28,11 +28,11 @@ proof-goal-with-hole-regexp "^Goal \\(\\(\"%s\"\\)\\)" proof-save-with-hole-regexp "^qed \\(\\(\"%s\"\\)\\)" proof-non-undoables-regexp "undo\\|back" - proof-undo-n-times-cmd "pg_repeat undo %s;" - proof-showproof-command "pr()" proof-goal-command "Goal \"%s\";" proof-save-command "qed \"%s\";" proof-kill-goal-command "Goal \"PROP no_goal_set\";" + proof-showproof-command "pr()" + proof-undo-n-times-cmd "pg_repeat undo %s;" proof-auto-multiple-files t proof-shell-cd-cmd "cd \"%s\"" proof-shell-prompt-pattern "[ML-=#>]+>? " |