Deleting a branch is permanent. It CANNOT be undone. Continue?
master
6927781d26 · · Updated 2 weeks ago |
Unreleased/Isabelle2018
2341879f06 · · Updated 1 year ago |
|
||
Unreleased/Isabelle2020-RC4
2adf50fe83 · · Updated 9 months ago |
|
Included | |
v1.0.x/Isabelle2019
d0b183af79 · · Updated 1 year ago |
|
Included |
Deleting a branch is permanent. It CANNOT be undone. Continue?