GitHub repository: texmacs/plugins
Primary language: Tcl
Created: 2018-10-19T23:41:59Z
Description: Collection of builtin GNU TeXmacs plugins