Works for Sublime Text 3 (build >= 3084)
Copy Proverif-pi.* files to
- Windows:
%APPDATA%\Sublime Text 3\Packages\User\ - Linux:
~/.config/sublime-text-3/Packages/User/ - OS X:
~/Library/Application Support/Sublime Text 3/Packages/User/
-
Notifications
You must be signed in to change notification settings - Fork 0
avielhauer/proverif-highlighting
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published