On 08/02/13 09:09, Ramana Kumar wrote: > There is a polyml package in the Ubuntu package repositories, but I think it > is > probably quite old (around version 5.2). Still, it would be usable.
Unfortunately, Kananaskis-8, as released, doesn't work with polyml5.2. I'd recommend upgrading to a more recent version of Poly/ML. Alternatively, get a current version of HOL from github. Michael
signature.asc
Description: OpenPGP digital signature
------------------------------------------------------------------------------ Free Next-Gen Firewall Hardware Offer Buy your Sophos next-gen firewall before the end March 2013 and get the hardware for free! Learn more. http://p.sf.net/sfu/sophos-d2d-feb
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
