2007/10/30, rfh at atnet.at <rfh at atnet.at>:
> in der deutschen version -> der abstand der doppelpunkte im absatz glossar
> unterscheidet sich vom absatz anwendungungen. vielleicht ein versehen.


Ich spreche kein Deutsch :-). Would be easier if you could write in
English. However, I saw that sometimes, there is a space before $: and
sometimes not. What is the rule?

-- 
Damien Cassou