Sign in
opensecura
/
3p
/
nicta
/
cogent
/
refs/heads/master
/
.
/
.gitmodules
blob: 99f6e547a5c4ebccb884bad1b075e21f82875294 [
file
] [
log
] [
blame
] [
edit
]
[
submodule
"isabelle"
]
path
=
isabelle
url
=
https
:
//github.com/seL4/isabelle.git
ignore
=
untracked
[
submodule
"z3"
]
path
=
z3
url
=
https
:
//github.com/Z3Prover/z3.git
