This website requires JavaScript.
Dashboard
Explore
Help
Sign In
afp-mirror
/
DOM_Components
Watch
1
Star
0
Fork
You've already forked DOM_Components
0
Code
Issues
Pull Requests
Releases
Wiki
Activity
Compare commits
base: afp-mirror:8c3a75a34c8af81f719144ba62b8128ad9aa7cf0
Branches
Tags
afp-mirror:main
afp-mirror:afp-current-Isabelle2021
afp-mirror:afp-DOM_Components-Isabelle2020
...
compare: afp-mirror:7a8a506805a955d37e5c20fc5f611602f335ffd3
Branches
Tags
afp-mirror:main
afp-mirror:afp-current-Isabelle2021
afp-mirror:afp-DOM_Components-Isabelle2020
These branches are equal. There is no need to create a pull request.