Dear all,
I am facing difficulty in installing mosml or polyml on ubuntu. I am
following the procedure wrritten in the install file but every time when I
make the system from binaries it ends up in error. Kindly, tell me with the
easiest way to install the HOL on Ubuntu. Thanks
--
Regards,
Waqar Ahmed
Ph.D IT,
School of Electrical Engineering and Computer Science (SEECS),
National University of Science and Technology (NUST), H-12, Islamabad,
Pakistan
------------------------------------------------------------------------------
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
