sTeX READMEVSCode extension for the sTeX ecosystem for semantic preloading of (mathematical) documents, avaible in the VSCode Extension Marketplace here. Bundles IDE functionality for the sTeX package and the the MMT system for semantic functionality, including HTML conversion using RusTeX. For help with this extension, see its manual here. For more on sTeX, see the package manual. |