7 Oct
2009
7 Oct
'09
12:21 p.m.
Am 07.10.2009 um 12:10 schrieb Hans Hagen:
Is there any way to have the substitution occur at the end of sentences only?
this is quite doable (but not implemented yet) .. it falls into a different category of feature applications (probably doable with one of the experimental mechanisms i made for idris)
what font is that?