PreTeXt-Tools

PreTeXt-Tools 0.1.3 Vsix File Free Download

A Free Programming Languages Extension By Oscar Levin (oscarlevin)

0 Votes, Average: 0 out of 5 Downloads: 0 Updated: September 4, 2019

You are about to download the PreTeXt-Tools Vsix v0.1.3 file for Visual Studio Code 1.37.0 and up: PreTeXt-tools, Language support and more for PreTeXt ...

Please note that the PreTeXt-Tools Vsix file v0.1.3 on VsixHub is the original file archived from the Visual Studio Marketplace. You could choose a server to download the offline vsix extension file and install it.

PreTeXt-Tools for VSCode

VSIX Package File


• Vsix File: pretext-tools-0.1.3_vsixhub.com.vsix

• Extension Version: 0.1.3

• Requires: VS Code 1.37.0 and up

• File Size: 8.03 KB (8225 Bytes)

• MD5: 08ab3211897a8912a4f04dcd8b344657

• SHA1: 95bf95c9b30d5af2bfeb3ea91b06dc087261a7f7

• SHA256: 294f2efba6753b96b30c65174761db10f77e26d29f212d54876e7d6e90a00ac7

• Download VSIX File from VsixHub >

• Download VSIX File from Sendspace >

• Download VSIX File from Rapidgator >

Also PreTeXt-Tools is included in these tags:

keybindings ⋅ pretext ⋅ ptx ⋅ snippet 

What Does The Extension Do


PreTeXt-Tools is a freeware extension for VS Code published by Oscar Levin, you can install it to increase the power of your Visual Studio Code:

Language support and more for PreTeXt ... Learn More >

How to Install PreTeXt-Tools From a VSIX


You can easily install the PreTeXt-Tools extension packaged in the .vsix file:

Launch VS Code, use the Install from VSIX command in the Extensions view command drop-down, or the Extensions: Install from VSIX... command in the Command Palette, and point to the .vsix file (i.e. pretext-tools-0.1.3_vsixhub.com.vsix).

PreTeXt-Tools Version History


PreTeXt Tools 0.17.0 (Latest Version, Updated: February 26, 2024)

PreTeXt Tools 0.16.0 (Updated: February 11, 2024)

PreTeXt Tools 0.15.2 (Updated: January 22, 2024)

PreTeXt Tools 0.14.1 (Updated: December 14, 2023)

PreTeXt Tools 0.14.0 (Updated: December 13, 2023)

PreTeXt Tools 0.13.0 (Updated: November 27, 2023)

PreTeXt Tools 0.12.2 (Updated: September 13, 2023)

PreTeXt Tools 0.11.3 (Updated: July 10, 2023)

PreTeXt Tools 0.11.2 (Updated: May 20, 2023)

PreTeXt Tools 0.11.1 (Updated: May 16, 2023)

Full Version History >

More Extensions to Consider (Similar or Related)