Edithistory:Rodin tool
From EverybodyWiki Bios & Wiki
| oldid | date/time | username | edit summary |
|---|---|---|---|
| 1158165920 | 2023-06-02T10:05:21Z | Hadal1337 | AfD: Nominated for deletion; see [[Wikipedia:Articles for deletion/Rodin tool]]. |
| 1081318234 | 2022-04-06T18:28:55Z | Derek R Bullamore | Added {{No footnotes}} tag |
| 1081303195 | 2022-04-06T16:27:58Z | AnomieBOT | Dating maintenance tags: {{According to whom}} |
| 1081287239 | 2022-04-06T14:27:55Z | Hadal1337 | /* Rodin Proof Manager (PM) */ |
| 1081286769 | 2022-04-06T14:23:42Z | Hadal1337 | /* Rodin Proof Manager (PM) */ |
| 1081285953 | 2022-04-06T14:17:00Z | Hadal1337 | |
| 1081285201 | 2022-04-06T14:11:02Z | Hadal1337 | /* References */ |
| 1081281438 | 2022-04-06T13:38:18Z | Hadal1337 | /* Rodin Proof Manager (PM) */ |
| 1081281293 | 2022-04-06T13:36:49Z | Hadal1337 | /* References */ Not a reference |
| 1081280833 | 2022-04-06T13:32:31Z | Hadal1337 | /* Some available plug-ins for Rodin */ Removed section due to 4 out 5 links not working. Also irrelevant as plugins can be found on the official website |
| 1057998226 | 2021-11-30T21:40:12Z | Kvng | mv {{FOLDOC}} attribution to talk |
| 941758503 | 2020-02-20T14:11:19Z | Eostrix | Undid revision 941758435 by [[Special:Contributions/138.48.108.82|138.48.108.82]] ([[User talk:138.48.108.82|talk]]) A source perhaps? |
| 941758435 | 2020-02-20T14:10:44Z | 138.48.108.82 | |
| 885067108 | 2019-02-25T19:25:50Z | AnomieBOT | Dating maintenance tags: {{More footnotes}} |
| 885050211 | 2019-02-25T17:25:45Z | 2001:630:D0:5002:6461:AEC6:2E15:4B95 | Needs more footnotes |
| 787824346 | 2017-06-27T19:37:31Z | Magic links bot | Replace [[Help:Magic links|magic links]] with templates per [[Special:Permalink/772743896#Future of magic links|local RfC]] and [[:mw:Requests for comment/Future of magic links|MediaWiki RfC]] |
| 733367673 | 2016-08-07T09:25:14Z | 83.57.6.189 | (Lead section) Grammar and typo |
| 704597835 | 2016-02-12T12:17:35Z | Hazratemahmood | |
| 704597751 | 2016-02-12T12:16:33Z | Hazratemahmood | |
| 675925484 | 2015-08-13T15:59:45Z | 92.205.99.242 | removed accidental text |
| 675925316 | 2015-08-13T15:58:23Z | 92.205.99.242 | fixed broken link |
| 666308576 | 2015-06-10T08:23:37Z | 192.54.144.229 | /* References */ adding ISBN to B-Book |
| 612944592 | 2014-06-14T22:55:20Z | 46.208.120.38 | minor text simplification |
| 587843872 | 2013-12-27T02:27:36Z | ChrisGualtieri | Remove stub template(s). Page is start class or higher. Also check for and do General Fixes + Checkwiki fixes using [[Project:AWB|AWB]] |
| 570542072 | 2013-08-28T15:14:46Z | Andyed 2003 | |
| 537072292 | 2013-02-07T16:21:06Z | Ahcsas1 | /* Some available plug-ins for Rodin */ |
| 532096700 | 2013-01-09T02:54:37Z | Addbot | [[User:Addbot|Bot:]] Removing Orphan Tag (Nolonger an Orphan) ([[User_talk:Addbot|Report Errors]]) |
| 519915856 | 2012-10-26T10:00:37Z | 134.99.112.66 | /* Some available plug-ins for Rodin */ |
| 506454967 | 2012-08-08T21:30:50Z | Sun Creator | /* References */[[WP:AWB/T|Typo fixing]] and checking, typos fixed: , → , using [[Project:AWB|AWB]] |
| 478156250 | 2012-02-21T23:01:14Z | 188.37.24.2 | /* Some available plug-ins for Rodin */ |
| 443017588 | 2011-08-04T14:14:04Z | 78.50.243.99 | |
| 443017518 | 2011-08-04T14:13:30Z | 78.50.243.99 | |
| 413418113 | 2011-02-12T03:22:17Z | Chris the speller | sp, caps |
| 409569849 | 2011-01-23T15:37:32Z | Raouf-yasin | |
| 409439315 | 2011-01-22T22:09:21Z | Racklever | Clean-up, added [[CAT:O|orphan]], [[CAT:UNCAT|uncategorised]] tags using [[Project:AWB|AWB]] |
| 409406442 | 2011-01-22T18:49:34Z | Raouf-yasin | |
| 409406266 | 2011-01-22T18:48:35Z | Raouf-yasin | |
| 409405296 | 2011-01-22T18:42:54Z | Raouf-yasin | [[WP:AES|←]]Created page with 'The Rodin tool, for formal modelling in Event-B. Event-B is a notation and method developed from the [[B-Method]] and is intended to be used with an incremental sty...' |
