Getting this one. WTH? Code is here: [email protected]:nobrowser/easylib.git
just do 'use "load-all";' from the top level directory ... PolyML 5.4.1 (release), Linux i386 (32-bit), 2G RAM. -- Ian Zimmerman gpg public key: 1024D/C6FF61AD fingerprint: 66DC D68F 5C1B 4D71 2EE5 BD03 8A00 786C C6FF 61AD Rule 420: All persons more than eight miles high to leave the court. _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
