On 07/02/11 18:48, waqar ahmed wrote: > I am trying to run HOL on my MAC OSx . Can you help me in this regard.
HOL4 Kananaskis-6 should install and run as per the installation instructions, using either Moscow ML or Poly/ML. See http://hol.sourceforge.net/InstallKananaskis.html Best, Michael ------------------------------------------------------------------------------ The ultimate all-in-one performance toolkit: Intel(R) Parallel Studio XE: Pinpoint memory and threading errors before they happen. Find and fix more than 250 security defects in the development cycle. Locate bottlenecks in serial and parallel code that limit performance. http://p.sf.net/sfu/intel-dev2devfeb _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
