Hi, just got xtla from http://xsteve.nit.at/tla and realized it is not meant to be running out of the box on xemacs.
Dad to tweak ewoc and xtla a bit to get it basically working, i.e. there are still loads of warnings promising problems. Is anybody else using it with XEmacs, I did not find anything with Google or in the mail-archives - maybe I missed something. Bye Robert
