Hi all, I'm using PolyML 5.5.0 to run some tests as a batch job and I can't figure out how to quit without using ^D (which I can't feed in automatically when batching things).
I've tried using "PolyML.quit ();" and "PolyML.exit 0;" but neither of these work. I'm opening the PolyML structure first (open PolyML;) but I'm still getting errors saying that the commands haven't been declared. I can use some other functions defined in PolyML such as "PolyML.use", but not all (for instance "cd" isn't available). Seems the documentation is incorrect? http://www.polyml.org/docs/Intro1.html Can anyone help me out on this one? Thanks in advance, Tom _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
