[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: [mizar] PVS GPLed



Jesse:

>The emacs editor has a number of guises; there's also
>TeXmacs (http://www.texmacs.org)

Not that it matters much, but: although TeXmacs takes its
name from TeX and emacs, its source code is unrelated to
either system.

Freek