I

Iris

Project ID: 118

7

The Coq development for Iris. [project website] [coqdoc]

History Find file

Merge branch 'robbert/seq_notation_space' into 'master' · fad7bbcf
Ralf Jung authored Nov 13, 2019
```
Remove space before `;;` in format directive.

See merge request !336
```
fad7bbcf

Name	Last commit	Last update
.gitlab/issue_templates		Loading commit data...
benchmark		Loading commit data...
docs		Loading commit data...
tests		Loading commit data...
tex		Loading commit data...
theories		Loading commit data...
.gitattributes		Loading commit data...
.gitignore		Loading commit data...
.gitlab-ci.yml		Loading commit data...
.gitmodules		Loading commit data...
CHANGELOG.md		Loading commit data...
CONTRIBUTING.md		Loading commit data...
LICENSE		Loading commit data...
LICENSE-CODE		Loading commit data...
LICENSE-DOCS		Loading commit data...
Makefile		Loading commit data...
Makefile.coq.local		Loading commit data...
ProofMode.md		Loading commit data...
README.md		Loading commit data...
_CoqProject		Loading commit data...
build-all		Loading commit data...
descr		Loading commit data...
opam		Loading commit data...
test-normalizer.sed		Loading commit data...