Commit 5221eb39 authored by Robbert Krebbers's avatar Robbert Krebbers

A note about the Iris LaTeX macros in the README.

Many people using Iris appear to not know these; this may make them
easier to find.
parent 298cd71e
Pipeline #14259 passed with stage
in 25 minutes and 5 seconds
......@@ -126,3 +126,6 @@ that should be compatible with this version:
[issue tracker](https://gitlab.mpi-sws.org/iris/iris/issues), which also
requires an MPI-SWS GitLab account.
* To contribute to Iris itself, see the [contribution guide](CONTRIBUTING.md).
* If you are writing a paper that uses Iris in one way or another, you could use
the [Iris LaTeX macros](docs/iris.sty) for typesetting the various Iris
connectives.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment