[Xtla-el-dev] Re: $HOME in tla-test

[Matthieu Moy]

Matthieu Moy <[EMAIL PROTECTED]> writes:

> Solution: (replace-regexp (getenv "HOME") "$HOME") the buffer before
> saving it and before comparing it with the archived.

This should be fixed now.

-- 
Matthieu