[mizar] Re: PVS GPLed

[Jesse Alama <alama@stanford.edu>]

Freek Wiedijk <freek@cs.ru.nl> writes:

>>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.

Ah, good point.  I could have left that out of the list, though; I think
there are other genuine forks of emacs out there (that is, projects that
really do take over substantial portions of the emacs codebase, unlike
TeXmacs, which seems to be just an emacs-inspired project).

Jesse

-- 
Jesse Alama (alama@stanford.edu)