I started to hack tla--read-* functions to accept not only name component but also full qualified name.
During the hacking, I found a infinite recursive call. If tla-get-revision-info-at-point-function is not bound, there is calling-chain: tla--read-archive-name => tla--get-archive => tla--read-archive-name. Could you someone who work on tla--get-archive, fix this? (Maybe Matthieu?) Masatake YAMATO
