Skip to content

Renamed/added macros to iris.sty

Jonas Kastberg requested to merge jihgfee/iris-coq:iris-tex-additions into master

Some suggested changes to the iris.sty file to make it more up-to-date with current uses.

Merge request reports