From ee91c3f2f1dd5f2f731db385134f38726b37b7ca Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 10 Sep 2009 23:04:40 +0000
Subject: Experimental changes to queue several commands at once and to allow
 pre-processing of commands when they're queued from script

---
 generic/proof-utils.el | 17 +++++++++++++----
 1 file changed, 13 insertions(+), 4 deletions(-)

(limited to 'generic/proof-utils.el')

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index 7a1ac808..7347ab58 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -53,10 +53,6 @@
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
 
-(require 'proof-compat)		        ;
-(require 'bufhist)			; bufhist
-;(require 'proof-syntax)			; syntax utils
-
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;
 ;; Handy macros
@@ -676,6 +672,19 @@ or if the window is the only window of its frame."
 	      ))))))
 
 
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;
+;; Function for manipulating output
+;;
+
+(defsubst proof-shell-strip-output-markup (string &optional push)
+  "Strip output markup from STRING.
+Convenience function to call function `proof-shell-strip-output-markup'.
+Optional argument PUSH is ignored."
+  (funcall proof-shell-strip-output-markup string))
+
+
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;
 ;; Function for submitting bug reports.
-- 
cgit v1.2.3