Šai lapas darbībai ir nepieciešams JavaScript.
Infopanelis
Izpētīt
Palīdzība
Pierakstīties
afp-mirror
/
Extended_Finite_State_Machine_Inference
Vērot
1
Pievienot zvaigznīti
0
Atdalīts
Repozitorijs Extended_Finite_State_Machine_Inference jau ir atdalīts
0
Kods
Problēmas
Izmaiņu pieprasījumi
Laidieni
Vikivietne
Aktivitāte
Salīdzināt revīzijas
pamata: afp-mirror:main
Atzari
Tagi
afp-mirror:main
afp-mirror:afp-current-Isabelle2021-1
afp-mirror:afp-current-Isabelle2021
afp-mirror:afp-Extended_Finite_State_Machine_Inference-current-Isabelle2020
...
salīdzināmais: afp-mirror:main
Atzari
Tagi
afp-mirror:main
afp-mirror:afp-current-Isabelle2021-1
afp-mirror:afp-current-Isabelle2021
afp-mirror:afp-Extended_Finite_State_Machine_Inference-current-Isabelle2020
Nav ko salīdzināt, jo bāzes un salīdzināmie atzari ir vienādi.