{"batchcomplete":"","continue":{"lecontinue":"20260518072007|1095","continue":"-||"},"query":{"logevents":[{"logid":1105,"ns":0,"title":"Rodin Platform 3.10 Release Notes","pageid":1735,"logpage":1735,"revid":14672,"params":{},"type":"create","action":"create","user":"Idir","timestamp":"2026-07-06T07:59:13Z","comment":"Created page with \"== What's New in Rodin 3.10? ==  Rodin 3.10 brings several bug fixes. It also upgrades the underlying Eclipse to 4.38 (2025-12), which can be run by Java 21 Runtimes.  Please note that we only provide 64-bit binary versions of the Rodin platform.  === Changes for plug-in developers ===  Rodin 3.10 is built on top of Eclipse 4.38 (2025-12), which requires Java 21.\""},{"logid":1104,"ns":6,"title":"File:202602.pdf","pageid":1719,"logpage":1719,"revid":14668,"params":{"img_sha1":"gg8mlcwwipd0qpkc95m38s37ucisi4s","img_timestamp":"2026-05-19T00:47:33Z"},"type":"upload","action":"overwrite","user":"Asieh","timestamp":"2026-05-19T00:47:33Z","comment":""},{"logid":1103,"ns":6,"title":"File:202602 slides.pdf","pageid":1734,"logpage":1734,"revid":14667,"params":{},"type":"create","action":"create","user":"Asieh","timestamp":"2026-05-19T00:43:55Z","comment":""},{"logid":1102,"ns":6,"title":"File:202602 slides.pdf","pageid":1734,"logpage":1734,"revid":14667,"params":{"img_sha1":"c0rmyzihczazl7riq92401eip4o670y","img_timestamp":"2026-05-19T00:43:55Z"},"type":"upload","action":"upload","user":"Asieh","timestamp":"2026-05-19T00:43:55Z","comment":""},{"logid":1101,"ns":6,"title":"File:202607 slides.pdf","pageid":1733,"logpage":1733,"revid":14666,"params":{},"type":"create","action":"create","user":"Asieh","timestamp":"2026-05-18T08:21:48Z","comment":""},{"logid":1100,"ns":6,"title":"File:202607 slides.pdf","pageid":1733,"logpage":1733,"revid":14666,"params":{"img_sha1":"mhp5c9nez1oo6f2b5ld80mobm4wkius","img_timestamp":"2026-05-18T08:21:48Z"},"type":"upload","action":"upload","user":"Asieh","timestamp":"2026-05-18T08:21:48Z","comment":""},{"logid":1099,"ns":6,"title":"File:202608 slides.pdf","pageid":1732,"logpage":1732,"revid":14665,"params":{},"type":"create","action":"create","user":"Asieh","timestamp":"2026-05-18T07:41:45Z","comment":""},{"logid":1098,"ns":6,"title":"File:202608 slides.pdf","pageid":1732,"logpage":1732,"revid":14665,"params":{"img_sha1":"6157q1ow7iot52jobnseqey3n6odo12","img_timestamp":"2026-05-18T07:41:45Z"},"type":"upload","action":"upload","user":"Asieh","timestamp":"2026-05-18T07:41:45Z","comment":""},{"logid":1097,"ns":6,"title":"File:202609 slides.pdf","pageid":1731,"logpage":1731,"revid":14664,"params":{},"type":"create","action":"create","user":"Asieh","timestamp":"2026-05-18T07:22:25Z","comment":""},{"logid":1096,"ns":6,"title":"File:202609 slides.pdf","pageid":1731,"logpage":1731,"revid":14664,"params":{"img_sha1":"bdnmmp9v8fv9q388bdwye8ify5o6vmc","img_timestamp":"2026-05-18T07:22:25Z"},"type":"upload","action":"upload","user":"Asieh","timestamp":"2026-05-18T07:22:25Z","comment":""}]}}