A(z) „SpinEdit - Simple Promela Interpreter” laptörténete
Ugrás a navigációhoz
Ugrás a kereséshez
Eltérések kijelölése: jelöld ki az összehasonlítandó változatokat, majd nyomd meg az Enter billentyűt, vagy az alul lévő gombot.
Jelmagyarázat: (akt) = eltérés az aktuális változattól, (előző) = eltérés az előző változattól, a = apró szerkesztés
