Este sítio Web requer JavaScript.
Painel de controlo
Explorar
Ajuda
Iniciar sessão
afp-mirror
/
Extended_Finite_State_Machine_Inference
Vigiar
1
Juntar aos favoritos
0
Derivar
Você já tinha feito uma derivação do repositório Extended_Finite_State_Machine_Inference, anteriormente
0
Código
Questões
Pedidos de integração
Lançamentos
Wiki
Trabalho
Comparar comentimentos
integrar em: afp-mirror:main
Ramos
Etiquetas
afp-mirror:main
afp-mirror:afp-current-Isabelle2021-1
afp-mirror:afp-current-Isabelle2021
afp-mirror:afp-Extended_Finite_State_Machine_Inference-current-Isabelle2020
...
puxar de: afp-mirror:main
Ramos
Etiquetas
afp-mirror:main
afp-mirror:afp-current-Isabelle2021-1
afp-mirror:afp-current-Isabelle2021
afp-mirror:afp-Extended_Finite_State_Machine_Inference-current-Isabelle2020
Estes ramos são iguais. Não há necessidade de criar um pedido de integração.