[nongnu] elpa/proof-general 847492f78f 13/25: Using require instead of load-library to load qrhl-input.

[ELPA Syncer]

branch: elpa/proof-general
commit 847492f78fd57731f59180ec4fe4611429b68826
Author: Dominique Unruh <unruh@ut.ee>
Commit: Dominique Unruh <unruh@ut.ee>

    Using require instead of load-library to load qrhl-input.
---
 qrhl/qrhl-input.el | 1 +
 qrhl/qrhl.el       | 5 ++---
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/qrhl/qrhl-input.el b/qrhl/qrhl-input.el
index c0437b913a..497a631544 100644
--- a/qrhl/qrhl-input.el
+++ b/qrhl/qrhl-input.el
@@ -762,5 +762,6 @@
  ("\\qeq" ["≡𝔮"])
  )
 
+(provide 'qrhl-input)
 
 ;;; qrhl-input.el ends here
diff --git a/qrhl/qrhl.el b/qrhl/qrhl.el
index 49e7c9c144..4b7b49f716 100644
--- a/qrhl/qrhl.el
+++ b/qrhl/qrhl.el
@@ -1,8 +1,6 @@
 ;; Author: Dominique Unruh
 
-(require 'proof)
-
-(load-library "qrhl-input")
+(require 'qrhl-input)
 
 (defun qrhl-find-and-forget (span)
   (proof-generic-count-undos span))
@@ -72,6 +70,7 @@
                   proof-shell-filename-escapes '(("\\\\" . "\\\\") ("\"" . 
"\\\""))
                   proof-shell-cd-cmd "changeDirectory \"%s\"."
                   proof-save-command-regexp "^adfuaisdfaoidsfasd" ; 
ProofGeneral produces warning when this is not set. But we don't want goal/save 
commands to be recognized because that makes ProofGeneral do an atomic undo.
+                  proof-tree-external-display nil
                   )
 
 ; buttoning functions follow https://superuser.com/a/331896/748969