Admin/polyml/README
author wenzelm
Sat Nov 13 12:32:21 2010 +0100 (2010-11-13 ago)
changeset 40521 8896bd93488e
parent 38469 5c6c5d63f3c3
child 41330 a4d9831c21d4
permissions -rw-r--r--
back to quick_and_dirty, which is still practically important since the scheduler does not jump over subproofs;
     1 Poly/ML for Isabelle
     2 ====================
     3 
     4 This distribution of Poly/ML 5.4 has been compiled from the original
     5 sources using the included build script.  For example:
     6 
     7   ./build polyml.5.4 x86-linux --with-gmp
     8 
     9 The resulting executables and shared libraries are moved to
    10 x86-linux/.  This directory layout accomodates the standard ML_HOME
    11 settings for Isabelle.
    12 
    13 
    14 	Makarius
    15 	17-Aug-2010