github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-09 00:20:19 +09:00
Code Issues Packages Projects Releases Wiki Activity
2,414 Commits 24 Branches 41 Tags
settings-config
Commit Graph

5 Commits

Author SHA1 Message Date
Johann Mortara
5b869cb836 Corrected tex comment start separator 2019-11-29 12:05:54 +01:00
Zachary Yedidia
aaf098bb47 Update tex syntax file 2018-01-29 18:02:43 -05:00
Zachary Yedidia
54bb99d758 Improve new syntax files and fix a region glitch 2017-03-21 15:07:39 -04:00
Zachary Yedidia
b977bf5cca Add converted syntax files 2017-03-21 14:55:22 -04:00
Zachary Yedidia
2fcb40d5a9 Use new syntax highlighting engine from zyedidia/highlight 
This changes all the syntax files in the runtime directory and also
changes how syntax highlighting is done from inside micro.
 2017-02-26 11:14:35 -05:00