Skip to content

GitLab

Commit 000ec35e authored by Ralf Jung's avatar Ralf Jung
Browse files

group iris_staging files

parent fbd43abe
Hide whitespace changes
Inline Side-by-side
_CoqProject
View file @ 000ec35e
...@@ -170,10 +170,9 @@ iris_heap_lang/lib/array.v ...@@ -170,10 +170,9 @@ iris_heap_lang/lib/array.v
iris_staging/algebra/list.v iris_staging/algebra/list.v
iris_staging/base_logic/algebra.v iris_staging/base_logic/algebra.v
iris_staging/heap_lang/interpreter.v
iris_deprecated/base_logic/auth.v iris_deprecated/base_logic/auth.v
iris_deprecated/base_logic/sts.v iris_deprecated/base_logic/sts.v
iris_deprecated/base_logic/viewshifts.v iris_deprecated/base_logic/viewshifts.v
iris_deprecated/program_logic/hoare.v iris_deprecated/program_logic/hoare.v
iris_staging/heap_lang/interpreter.v
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