Mark, Thanks for the info and the pointers to your excellent HOL Zero documentation.
On 15 Oct 2013, at 14:03, Mark Adams <m...@proof-technologies.com> wrote: > … > I think the warnings you get may be from superfluous #load directives in > your adapted 'pa_j.ml' file, so comment out the following two lines in the > adapted 'pa_o.ml' file and everything should go smoothly: > #load "pa_extend.cmo";; > #load "q_MLast.cmo";; > Unfortunately, that doesn't make the warnings of away. Regards, Rob. ------------------------------------------------------------------------------ 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