Hi, for users not getting xtla from an tla-archive we should include a version string. I was thinking about an auto-generated xtla-version.el containing:
------------------ |%% do not edit -- automatically generated file |(defconst xtla-version "[EMAIL PROTECTED]") ------------------ This could be used for bug-reports and as an anchor for patches. Robert
