Matthieu Moy <[EMAIL PROTECTED]> writes:
> "Jose A. Ortega Ruiz" <[EMAIL PROTECTED]> writes:
>
>> tla-name-read("Import `/home/jao/prj/doc/xc' to: " "[EMAIL PROTECTED]"
>> prompt prompt prompt)
>
> So, your problem doesn't come from tla-start-project, but from
> tla-name-read, which is called with the right arguments.
>
Hi. I finally got some spare time to got around this problem... sorry
for the delay.
Well, it seems that the culprit was an emacs package called
'highlight-completion': i'm not sure what's the matter, but when i
activate that package, tla-name-read is unable to complete past the
archive name. Since i don't really need hightlight-completion, that's
no big deal: i simply dropped it. Just in case, it can be found here:
http://www.math.washington.edu/~palmieri/Emacs/hlc.html
Cheers,
jao
--
He who joyfully marches to music in rank and file has already earned
my contempt. He has been given a large brain by mistake, since for him
the spinal cord would suffice. (Albert Einstein)