pretext-tools README

A Visual Studio Code extension to make writing PreTeXt documents easier.

Features

So far, pretext-tools includes:

• Some basic additions to xml grammar specific to pretext, such as recognizing math as LaTeX and "hiding" permid attributes as comments.
• A large collection of snippets.