Just wondering, will it be an issue that all our files are
xtla* but all the funs/vars/... are tla-*.
Someone might argue, that the "emacs-standard-way" is:
give them the package name as a prefix.
Someone might come up with tla*.el and then we get naming
conflicts as they are naming all their stuff tla-*.
Also it is not "intuitive" for apropos users, i.e. when I
wand to get an quick overview on a package I do C-h a
^PACKAGENAME RET ...
Robert
PS: For the next three/four weeks I will just read the list, but
not hack anything as I am quite loaded with other work.
