Hi everyone,
I have registered the #hol channel on the freenode network, and invite
anyone interested to join it to provide and receive support on using HOL
(and HOL Light etc.). It would be a real-time counterpart to this mailing
list.
(There is some help linked from freenode.net if you haven't use IRC before,
and also a webchat client.)
I will update the webpage with a mention of this shortly.
Cheers,
Ramana
------------------------------------------------------------------------------
October Webinars: Code for Performance
Free Intel webinars can help you accelerate application performance.
Explore tips for MPI, OpenMP, advanced profiling, and more. Get the most from
the latest Intel processors and coprocessors. See abstracts and register >
http://pubads.g.doubleclick.net/gampad/clk?id=60135031&iu=/4140/ostg.clktrk
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
