From efc3b93d9371ebb34fded6a3d903596b9529fa9c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 17 Nov 1999 19:55:16 +0000
Subject: Formatting

---
 demoisa/demoisa-easy.el | 6 +++---
 1 file 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-=#>]+>? "
-- 
cgit v1.2.3