MediaWiki API result
This is the HTML representation of the JSON format. HTML is good for debugging, but is unsuitable for application use.
Specify the format parameter to change the output format. To see the non-HTML representation of the JSON format, set format=json.
See the complete documentation, or the API help for more information.
{
"batchcomplete": "",
"continue": {
"lecontinue": "20210615150821|995",
"continue": "-||"
},
"query": {
"logevents": [
{
"logid": 1005,
"ns": 0,
"title": "Rodin Workshop 2024",
"pageid": 1684,
"logpage": 1684,
"params": {},
"type": "create",
"action": "create",
"user": "Asieh",
"timestamp": "2023-11-30T14:26:56Z",
"comment": "Created page with \"==11th Rodin User and Developer Workshop== The 11th Rodin User and Developer Workshop, X June, 2024, Bergamo, Italy Event-B is a formal method for system-level modelling and...\""
},
{
"logid": 1004,
"ns": 0,
"title": "Rodin Platform 3.8 Release Notes",
"pageid": 1683,
"logpage": 1683,
"params": {},
"type": "create",
"action": "create",
"user": "Idir",
"timestamp": "2023-04-04T06:47:31Z",
"comment": "Created page with \"== What's New in Rodin 3.8? == Rodin 3.8 brings several bug fixes. It also upgrades the underlying Eclipse to 4.23 (2022-03), which can be run by Java 11 Runtimes. Please no...\""
},
{
"logid": 1003,
"ns": 0,
"title": "Rodin Workshop 2023",
"pageid": 1682,
"logpage": 1682,
"params": {},
"type": "create",
"action": "create",
"user": "Dana",
"timestamp": "2023-03-06T14:18:30Z",
"comment": "Created page with \"==9th Rodin User and Developer Workshop== The 9th Rodin User and Developer Workshop, 30 May, 2023, Nancy, France Event-B is a formal method for system-level modelling and an...\""
},
{
"logid": 1002,
"ns": 0,
"title": "Rodin Platform 3.7 Release Notes",
"pageid": 1681,
"logpage": 1681,
"params": {},
"type": "create",
"action": "create",
"user": "Idir",
"timestamp": "2022-04-28T14:09:01Z",
"comment": "Created page with \"== What's New in Rodin 3.7? == Rodin 3.7 brings several bug fixes. It also upgrades the underlying Eclipse to 4.22 (2021-12), which can be run by Java 11 Runtimes. Please no...\""
},
{
"logid": 1001,
"ns": 6,
"title": "File:RodinWorkshop2021 Examples of using the Instantiation Plug-in slides.pdf",
"pageid": 1680,
"logpage": 1680,
"params": {},
"type": "create",
"action": "create",
"user": "Son",
"timestamp": "2021-06-15T15:17:54Z",
"comment": "Examples of using the instantiation plug-in (Rodin Workshop 2021)"
},
{
"logid": 1000,
"ns": 6,
"title": "File:RodinWorkshop2021 Examples of using the Instantiation Plug-in slides.pdf",
"pageid": 1680,
"logpage": 1680,
"params": {
"img_sha1": "8rirj4bcur20yniuyb0jrey98zuc0x7",
"img_timestamp": "2021-06-15T15:17:54Z"
},
"type": "upload",
"action": "upload",
"user": "Son",
"timestamp": "2021-06-15T15:17:54Z",
"comment": "Examples of using the instantiation plug-in (Rodin Workshop 2021)"
},
{
"logid": 999,
"ns": 6,
"title": "File:RodinWorkshop2021 Formal Verification of EULYNX Models Using Event-B and RODIN slides.pdf",
"pageid": 1679,
"logpage": 1679,
"params": {},
"type": "create",
"action": "create",
"user": "Son",
"timestamp": "2021-06-15T15:15:27Z",
"comment": "Formal Verification of EULYNX Models using Event-B and Rodin (Rodin Workshop 2021)"
},
{
"logid": 998,
"ns": 6,
"title": "File:RodinWorkshop2021 Formal Verification of EULYNX Models Using Event-B and RODIN slides.pdf",
"pageid": 1679,
"logpage": 1679,
"params": {
"img_sha1": "ehf239319axwl2kldbhr1q874wyduhl",
"img_timestamp": "2021-06-15T15:15:27Z"
},
"type": "upload",
"action": "upload",
"user": "Son",
"timestamp": "2021-06-15T15:15:27Z",
"comment": "Formal Verification of EULYNX Models using Event-B and Rodin (Rodin Workshop 2021)"
},
{
"logid": 997,
"ns": 6,
"title": "File:RodinWorkshop2021 Large Scale Biological Models in Rodin slides.pdf",
"pageid": 1678,
"logpage": 1678,
"params": {},
"type": "create",
"action": "create",
"user": "Son",
"timestamp": "2021-06-15T15:11:51Z",
"comment": "Large Scale Biological Models in Rodin (Rodin Workshop 2021)"
},
{
"logid": 996,
"ns": 6,
"title": "File:RodinWorkshop2021 Large Scale Biological Models in Rodin slides.pdf",
"pageid": 1678,
"logpage": 1678,
"params": {
"img_sha1": "fhwsm4fe6po2r22zlr1s606pc3uqaz0",
"img_timestamp": "2021-06-15T15:11:51Z"
},
"type": "upload",
"action": "upload",
"user": "Son",
"timestamp": "2021-06-15T15:11:51Z",
"comment": "Large Scale Biological Models in Rodin (Rodin Workshop 2021)"
}
]
}
}