Wszystkie publiczne operacje
Wspólny rejestr wszystkich typów operacji dla Lem. Możesz zawęzić liczbę wyników poprzez wybranie typu rejestru, nazwy użytkownika albo tytułu strony.
(od najświeższych | od najstarszych) Zobacz (20 nowszych | 20 starszych) (20 | 50 | 100 | 250 | 500)- 08:07, 7 paź 2018 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2586 strony Wyrażalność semantycznych własności programów jako sprawdzoną
- 19:10, 6 paź 2018 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2585 strony Wyrażalność semantycznych własności programów jako sprawdzoną
- 16:58, 6 paź 2018 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2584 strony Wyrażalność semantycznych własności programów jako sprawdzoną
- 16:58, 6 paź 2018 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2583 strony Wyrażalność semantycznych własności programów jako sprawdzoną
- 16:57, 6 paź 2018 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2582 strony Wyrażalność semantycznych własności programów jako sprawdzoną
- 16:44, 6 paź 2018 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2581 strony Wyrażalność semantycznych własności programów jako sprawdzoną
- 16:39, 6 paź 2018 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2580 strony Wyrażalność semantycznych własności programów jako sprawdzoną
- 16:26, 6 paź 2018 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2579 strony Logika Algorytmiczna jako sprawdzoną
- 10:04, 6 paź 2018 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2578 strony Logika Algorytmiczna jako sprawdzoną
- 09:59, 6 paź 2018 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2577 strony Logika Algorytmiczna jako sprawdzoną
- 09:58, 6 paź 2018 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2576 strony Logika Algorytmiczna jako sprawdzoną
- 10:54, 4 paź 2018 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2575 strony Logika Algorytmiczna jako sprawdzoną
- 21:04, 2 paź 2018 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2574 strony Algorithmic theory of stacks jako sprawdzoną
- 20:53, 2 paź 2018 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2573 strony Algorithmic theory of stacks jako sprawdzoną
- 20:50, 2 paź 2018 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2572 strony Algorithmic theory of stacks jako sprawdzoną
- 15:04, 2 paź 2018 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2571 strony SpecVer jako sprawdzoną
- 13:12, 2 paź 2018 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2570 strony Algorithmic theory of rational numbers jako sprawdzoną
- 13:10, 2 paź 2018 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2569 strony Algorithmic theory of rational numbers jako sprawdzoną
- 13:02, 2 paź 2018 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2568 strony Algorithmic theory of integers jako sprawdzoną
- 12:59, 2 paź 2018 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2567 strony Algorithmic theory of integers jako sprawdzoną