Este site requer JavaScript.
Painel
Explorar
Ajuda
Acessar
afp-mirror
/
Extended_Finite_State_Machines
Observar
1
Juntar aos favoritos
0
Fork
Você já fez o fork de Extended_Finite_State_Machines
0
Código
Issues
Pull requests
Versões
Wiki
Atividade
Comparar commits
merge em: afp-mirror:main
Branches
Tags
afp-mirror:main
afp-mirror:afp-current-Isabelle2021-1
afp-mirror:afp-current-Isabelle2021
afp-mirror:afp-Extended_Finite_State_Machines-current-Isabelle2020
...
pull de: afp-mirror:main
Branches
Tags
afp-mirror:main
afp-mirror:afp-current-Isabelle2021-1
afp-mirror:afp-current-Isabelle2021
afp-mirror:afp-Extended_Finite_State_Machines-current-Isabelle2020
Estes branches são iguais. Não há nenhuma necessidade para criar um pull request.