Open JoostvanPinxten opened 9 years ago
There is a new house style out, as of July 16th. It would be nice if you could translate these into their Latex equivalent too!
The slides in the new housestyle can be found here.
Yes, that is definitely the plan. I plan on working on this in the coming weeks.
We are working on it; see #15 :smile:
There is a new house style out, as of July 16th. It would be nice if you could translate these into their Latex equivalent too!
The slides in the new housestyle can be found here.