1) What should we do for arch configurations ? 2) I've added a file FEATURES to the doc/ directory of xtla. It's an annotated version of the output of 'tla help', with some instructions at the beginning. Please read it. (I've just committed it, it will be pushed to my mirror tonight.)
-- Matthieu ------------------------------------------------- envoyé via Webmail/IMAG !
