Dafny: muudatuste ajalugu

Redaktsioonide filtreerimineNäitaPeida

Kuupäevani:

Näita kõiki peale valitud nimeruumi

Märgi versioonid, mida tahad võrrelda ja vajuta võrdlemisnupule. Välised tööriistad: Xtoolsi muudatuste info · Lehekülje ajaloo statistika · Otsing lehekülje ajaloost · Lehe vaatamise statistika

Legend: (viim) = erinevused võrreldes viimase redaktsiooniga, (eel) = erinevused võrreldes eelmise redaktsiooniga, P = pisiparandus, → = alajaotuse muudatus, ← = automaatne resümee

viimeel 17:493. september 2024, kell 17:49 Kuriuss arutelu kaastöö P 6188 baiti −2 Resümee puudub eemalda Märgis: Visuaalmuudatus

viimeel 00:443. juuli 2022, kell 00:44 InternetArchiveBot arutelu kaastöö 6190 baiti +279 Lisatud 2 allikale arhiivilink ja märgitud 0 mittetöötavaks.) #IABot (v2.0.8.8 eemalda

viimeel 15:1624. detsember 2021, kell 15:16 Ghettoblaster arutelu kaastöö P 5911 baiti +30 Resümee puudub eemalda

viimeel 12:0419. aprill 2020, kell 12:04 Xqbot arutelu kaastöö P 5881 baiti +36 Bot: Replace deprecated <source> tag and "enclose" parameter eemalda

viimeel 08:4730. märts 2019, kell 08:47 Iifar arutelu kaastöö P 5845 baiti +38 HC: lisatud Kategooria:Programmeerimiskeeled eemalda
viimeel 08:4630. märts 2019, kell 08:46 Iifar arutelu kaastöö P 5807 baiti +11 →Viited eemalda

viimeel 22:0031. jaanuar 2019, kell 22:00 Morliin arutelu kaastöö 5796 baiti +18 Resümee puudub eemalda Märgis: Visuaalmuudatus

viimeel 18:2830. november 2018, kell 18:28 Kairijan arutelu kaastöö P 5778 baiti −23 Resümee puudub eemalda Märgis: Visuaalmuudatus
viimeel 15:3430. november 2018, kell 15:34 Morliin arutelu kaastöö P 5801 baiti +56 Resümee puudub eemalda Märgis: Visuaalmuudatus

viimeel 10:1328. november 2018, kell 10:13 Morliin arutelu kaastöö 5745 baiti +255 Resümee puudub eemalda Märgis: Visuaalmuudatus

viimeel 17:5521. november 2018, kell 17:55 Wkentaur arutelu kaastöö 5490 baiti −72 lingid en vikisse maha eemalda

viimeel 22:0620. november 2018, kell 22:06 Neptuunium arutelu kaastöö P 5562 baiti 0 Neptuunium teisaldas lehekülje Dafny (programmeerimiskeel) pealkirja Dafny alla eemalda

viimeel 22:2619. november 2018, kell 22:26 Morliin arutelu kaastöö 5562 baiti +5562 Uus lehekülg: ''''Dafny''' on kompileeritud programmeerimiskeel, milles on sisseehitatud staatiline programmi tõendaja, mis kontrollib programmide funktsionaalset õigsust. Ta ühendab peamise...' Märgis: tekstilink teise vikisse

3. september 2024

3. juuli 2022

24. detsember 2021

19. aprill 2020

30. märts 2019

31. jaanuar 2019

30. november 2018

28. november 2018

21. november 2018

20. november 2018

19. november 2018