search

tlaplus / PlusCalCheatSheet

PlusCal Cheat Sheet by Stephan Merz
https://d3s.mff.cuni.cz/f/teaching/nswi101/pluscal.pdf
MIT License
20 stars 3 forks source link

Corrected wrong LaTeX entries. #1

Closed chris-ortiz-wdc closed 5 hours ago

chris-ortiz-wdc commented 6 hours ago

Hello,

I just corrected 2 wrong LaTeX entries in the TeX file that reflected correctly in PDF file.

Thank you, Zitro

lemmy commented 5 hours ago

Thank you