pretext-tools READMEA Visual Studio Code extension to make writing PreTeXt documents easier. FeaturesSo far, pretext-tools includes:
|
pretext-tools READMEA Visual Studio Code extension to make writing PreTeXt documents easier. FeaturesSo far, pretext-tools includes:
|