diff options
Diffstat (limited to 'generic/proof-utils.el')
| -rw-r--r-- | generic/proof-utils.el | 17 |
1 files changed, 13 insertions, 4 deletions
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 @@ -678,6 +674,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. ;; |