Re: PVS GPLed
Jesse Alama <[email protected]>
| Newsgroups | gmane.comp.mathematics.mizar |
|---|---|
| Message-ID | <[email protected]> |
Freek Wiedijk <[email protected]> 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 ([email protected])