On Tue, Apr 04, 2000 at 12:42:05AM +0200, Lars Gullik Bj&resh;nnes wrote:
> 
> We really don't want to put to many features into LyXFont. If I
> understand you correctly you want to mark the string "123" to be a
> number and appropriate action taken when exporting/printing etc.
> 
> To me this seems very similar to marking "Norway" as a country. Also
> marking "Lars" as noun is the same thing. And if this has not be
> stated lately: We really want "noun" styl removed from the font and
> put into some other better machinery.

I am going to use LyXFont for the meantime.

Reply via email to