Giters

gready-hub / HI-Maude-Latex-Highligher

Latex highlighting with the listings package for Maude, Real-Time Maude, and HI-Maude

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

HI-Maude-Latex-Highligher

Latex highlighting with the listings package for Maude, Real-Time Maude, and HI-Maude

About

Latex highlighting with the listings package for Maude, Real-Time Maude, and HI-Maude

Languages

Language:TeX 100.0%