diff options
author | Mort Yao | 2020-02-10 23:57:25 +0100 |
---|---|---|
committer | Mort Yao | 2020-02-10 23:57:25 +0100 |
commit | 52946ccfc2dba72df2e67437bb5cd2ad7e884aaf (patch) | |
tree | 4811e42c98b87391ea1c7d616cf491809b16de15 | |
parent | ed0fb1ed0707ffdd06c884d5c7863eda49b64874 (diff) | |
download | aur-52946ccfc2dba72df2e67437bb5cd2ad7e884aaf.tar.gz |
hol-git 20200210-1
-rw-r--r-- | .SRCINFO | 4 | ||||
-rw-r--r-- | PKGBUILD | 2 | ||||
-rw-r--r-- | hol.install | 10 |
3 files changed, 10 insertions, 6 deletions
@@ -1,8 +1,8 @@ # Generated by mksrcinfo v8 -# Thu Feb 6 00:40:12 UTC 2020 +# Mon Feb 10 22:44:20 UTC 2020 pkgbase = hol-git pkgdesc = HOL4 theorem-proving system - pkgver = 20200205 + pkgver = 20200210 pkgrel = 1 url = https://hol-theorem-prover.org/ install = hol.install @@ -3,7 +3,7 @@ _pkgname=hol pkgname=${_pkgname}-git -pkgver=20200205 +pkgver=20200210 pkgrel=1 pkgdesc='HOL4 theorem-proving system' url='https://hol-theorem-prover.org/' 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 } |