Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • amin/ci/filer-spec
  • amin/gremlin_sem_untyped
  • ci/ike/frame_exist
  • ralf/prop-level-wand
  • simon/parametric-index
  • ci/ocaml-gc-stats
  • ci/ocaml-versions
  • ci/ocaml-dev
  • ralf/frame-frac
  • ci/robbert/into_fupd
11 results
Compare
Ralf Jung's avatar
Merge branch 'finish-strict-bulleting' into 'master'
Ralf Jung authored 
Enforce strict bulleting

Closes #344

See merge request iris/iris!577
2bcaf8ba
History
Ralf Jung's avatar 2bcaf8ba
History
Name Last commit Last update
..