John R Harrison <[EMAIL PROTECTED]> writes: > Hi Camm, > > Sorry this took such a ridiculously long time; I've been overloaded > with other stuff. I've accumulated a collection of some of my old
No problem! > HOL88 files as test cases. I believe they should all work; I had > problems with a couple but I think that's just because my image still > has a few glitches. To test them it should just be necessary to fire > up HOL88 then do > > loadt `<filename>`;; > > for example > > loadt `/home/camm/hol88_examples/fermat.ml`;; > > Let me know if there are problems. Anyway, if you want to add them > to the package as regression tests, this is fine with me. > Great! Will check it out. > In a later message, you mentioned that you already had debian packages. > What's the latest on that? I've been using Knoppix quite a lot lately We've been accepted into Debian testing, and will be available in the next release in Debian and/or derivatives like knoppix/ubuntu, etc. http://packages.qa.debian.org/h/hol88.html http://packages.debian.org/unstable/math/hol88 http://people.debian.org/~igloo/status.php?email=camm%40enhanced.com > when Windows becomes just too much to bear, and I'd like to try out the > HOL88 binaries. (If that's a problem, I can also rebuild from source > now you've got everything sorted out.) Should be able to apt-get the binary now or soon. I can also send you one if interested. Uses gcl-2.6.8pre, soon to be released as stable, hopefully. export CVSROOT=:pserver:[EMAIL PROTECTED]:/sources/gcl cvs -z9 -q co -d gcl-2.6.8pre -r Version_2_6_8pre gcl BTW, I'd mentioned this to the axiom people, who had expressed interest in an ml in the same image axiom runs upon. Do you have any other notions as to where/if this build might be useful? BTW, should also build with cvs head, which has more advanced features, but is still experimental. I believe Bob Boyer uses this regularly, though. Take care, > > John. > > > -- Camm Maguire [EMAIL PROTECTED] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/gcl-devel
