Merge branch 'ralf/options-file' into 'master'
add options file for library-wide configuration Closes #66 See merge request iris/iris!491
Showing
- Makefile.coq.local 4 additions, 0 deletionsMakefile.coq.local
- _CoqProject 1 addition, 0 deletions_CoqProject
- theories/algebra/agree.v 2 additions, 2 deletionstheories/algebra/agree.v
- theories/algebra/auth.v 1 addition, 1 deletiontheories/algebra/auth.v
- theories/algebra/base.v 1 addition, 1 deletiontheories/algebra/base.v
- theories/algebra/big_op.v 9 additions, 9 deletionstheories/algebra/big_op.v
- theories/algebra/cmra.v 1 addition, 1 deletiontheories/algebra/cmra.v
- theories/algebra/cmra_big_op.v 1 addition, 1 deletiontheories/algebra/cmra_big_op.v
- theories/algebra/coPset.v 1 addition, 1 deletiontheories/algebra/coPset.v
- theories/algebra/cofe_solver.v 1 addition, 1 deletiontheories/algebra/cofe_solver.v
- theories/algebra/csum.v 1 addition, 1 deletiontheories/algebra/csum.v
- theories/algebra/dra.v 1 addition, 1 deletiontheories/algebra/dra.v
- theories/algebra/excl.v 1 addition, 1 deletiontheories/algebra/excl.v
- theories/algebra/frac.v 1 addition, 1 deletiontheories/algebra/frac.v
- theories/algebra/functions.v 1 addition, 1 deletiontheories/algebra/functions.v
- theories/algebra/gmap.v 1 addition, 1 deletiontheories/algebra/gmap.v
- theories/algebra/gmultiset.v 1 addition, 1 deletiontheories/algebra/gmultiset.v
- theories/algebra/gset.v 1 addition, 1 deletiontheories/algebra/gset.v
- theories/algebra/lib/excl_auth.v 1 addition, 0 deletionstheories/algebra/lib/excl_auth.v
- theories/algebra/lib/frac_auth.v 1 addition, 0 deletionstheories/algebra/lib/frac_auth.v
Loading
Please register or sign in to comment