[Hol-info] Hol Light packages for Debian (and Ubuntu)

[Hendrik T. <te...@os...>]

Hi,

as you may have noticed, Debian contains now a package for Hol
Light (http://packages.debian.org/stable/hol-light). Debian
stable contains svn revision 146 from 2012-06-02 and testing
currently contains revision 162 from 2013-05-11. I will update
the package in testing about every few month, so that it will be
reasonable up-to-date. As Debian version I use the date of the
svn commit of the respective version.

The package is also available on Ubuntu
(https://launchpad.net/ubuntu/+source/hol-light) and can probably
be installed on many Debian derivatives. 

After package installation you will find some information on
related packages and about using checkpoints in
/usr/share/doc/hol-light/README.Debian .

If you have questions or problems with the package please submit
a Debian bug or contact me directly by email.


On a different topic: For about a year, support for Hol Light in
Proof General and for proof-tree visualization
(http://askra.de/software/prooftree/) is close before the first
public announcement without making any progress. Many things work
already, it just needs a Hol Light + Emacs user to fix the
remaining issues. 


Bye,

Hendrik

PS. Please CC me on replies, I have not subscribed hol-info.