Hi, The stupid question of the day ...
Do you prefer calling the Emacs interface to tla "Xtla", "xtla", or "XTLA" ? I have a slight preference for "Xtla", but some of you also use "XTLA". -- Matthieu
Hi, The stupid question of the day ...
Do you prefer calling the Emacs interface to tla "Xtla", "xtla", or "XTLA" ? I have a slight preference for "Xtla", but some of you also use "XTLA". -- Matthieu