hol kananaskis.13-3

3 files changed, 10 insertions, 6 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 6065390c71e0..57c35bcbb156 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,9 +1,9 @@
 # Generated by mksrcinfo v8
-# Thu Feb  6 00:38:29 UTC 2020
+# Mon Feb 10 22:57:41 UTC 2020
 pkgbase = hol
 	pkgdesc = HOL4 theorem-proving system
 	pkgver = kananaskis.13
-	pkgrel = 2
+	pkgrel = 3
 	url = https://hol-theorem-prover.org/
 	install = hol.install
 	arch = x86_64
diff --git a/PKGBUILD b/PKGBUILD
index e973ea37ba15..632bd5097153 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -4,7 +4,7 @@
 # FIXME: holyhammer fails to build with ocaml-num
 pkgname=hol
 pkgver=kananaskis.13
-pkgrel=2
+pkgrel=3
 pkgdesc='HOL4 theorem-proving system'
 url='https://hol-theorem-prover.org/'
 arch=('x86_64')
diff --git a/hol.install b/hol.install
index bddee7f53f9c..b20786808e3f 100644
--- a/hol.install
+++ b/hol.install
@@ -15,10 +15,14 @@ Put
 
    (autoload 'hol "/opt/hol/tools/hol-mode"
      "Runs a HOL session in a comint window.
-   With a numeric prefix argument, runs it niced to that level
-   or at level 10 with a bare prefix. " t)
+      With a numeric prefix argument, runs it niced to that level
+      or at level 10 with a bare prefix. " t)
 
-into your .emacs file
+or
+
+   (load "/opt/hol/tools/hol-mode")
+
+into your .emacs file.
 EOF
 }