docs/program-logic.tex · d96f252ebf4f0ce69329cb36e5cad039cf5fc75f · Tej Chajed / iris · GitLab

Skip to content

GitLab

Explore

Sign in

iris
docs
program-logic.tex

Blame Permalink

Dec 10, 2017
d96f252e
Revert "Docs: fix capitals of section." · d96f252e
Ralf Jung authored Dec 10, 2017
```
This reverts commit 7a6d36c6.
```
d96f252e
Revert "Docs: fix capitals of section."
Ralf Jung authored Dec 10, 2017
```
This reverts commit 7a6d36c6.
```

Loading