Latex highlighting with the listings package for Maude, Real-Time Maude, and HI-Maude
gready-hub/HI-Maude-Latex-Highligher
Latex highlighting with the listings package for Maude, Real-Time Maude, and HI-Maude
TeX
Latex highlighting with the listings package for Maude, Real-Time Maude, and HI-Maude
TeX