The TeX Catalogue Online

xtexshell

A shell/editor

The author is Michael T. Hofmann.

License: gpl2 Catalogued: 2016-06-24