PreTeXt-tools

Oscar Levin

|
85 installs
| (0) | Free
Language support and more for PreTeXt
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

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.