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. ------------------------------------------------------------------------------ How ServiceNow helps IT people transform IT departments: 1. A cloud service to automate IT design, transition and operations 2. Dashboards that offer high-level views of enterprise services 3. A single system of record for all IT processes http://p.sf.net/sfu/servicenow-d2d-j _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
