On 18/05/12 8:43 PM, Ramana Kumar wrote: > > There have been various minor improvements made to HOL4 over the last > few years about which some of you may not be aware. Of course, the > release notes are available [*]. But I thought I'd collect some of my > own tips, some of which didn't make it into release notes, and some > of which don't apply to any release but to the latest sources. These > might eventually make it into an updated tutorial or maybe a wiki > page or something. I welcome comments, other tips, and corrections! > [*] http://hol.sourceforge.net/kananaskis-7.release.html (decrement > the 7 for earlier ones)
You can also see the raw HTML for the next set of release notes at http://github.com/mn200/HOL/blob/master/doc/kananaskis-8.release.html Michael
signature.asc
Description: OpenPGP digital signature
------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
