|
From: Hendrik T. <te...@os...> - 2013-06-10 13:35:09
|
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. |