Jump to content

User contributions for Jan Gruteser

Results for Jan Gruteser talk block log uploads logs

A user with 180 edits. Account created on 2 May 2023.

10:4510:45, 21 September 2026 diff hist +70 m RailML →Quick Start with railML2B current
10:3410:34, 21 September 2026 diff hist −9 m RailML →Why should I translate railML data to B?
10:3410:34, 21 September 2026 diff hist +708 RailML update railML page
10:1410:14, 21 September 2026 diff hist +73 m RailML Tutorial No edit summary current
10:1410:14, 21 September 2026 diff hist −73 m RailML No edit summary

13:0213:02, 28 August 2026 diff hist −4 m RailML Tutorial →CLI
09:4809:48, 28 August 2026 diff hist +2,286 m RailML Tutorial →Import railML Data
06:0806:08, 28 August 2026 diff hist +3 m RailML Tutorial →In Java Projects
06:0806:08, 28 August 2026 diff hist +398 m RailML Tutorial →Import railML Data

20:2020:20, 14 August 2026 diff hist +34 m RailML Tutorial No edit summary
17:3017:30, 14 August 2026 diff hist +11 m Rules-DSL No edit summary current
17:2817:28, 14 August 2026 diff hist +9 m RailML No edit summary
17:2817:28, 14 August 2026 diff hist +25 m RailML No edit summary
17:1217:12, 14 August 2026 diff hist +11 m RailML Tutorial →Using ProB2-UI
17:1117:11, 14 August 2026 diff hist −1 m RailML Tutorial →Using ProB2-UI
14:0314:03, 14 August 2026 diff hist +104 m The ProB Animator and Model Checker →Features
13:5213:52, 14 August 2026 diff hist 0 m RailML No edit summary
13:5113:51, 14 August 2026 diff hist +92 m RailML No edit summary
13:5013:50, 14 August 2026 diff hist 0 N File:Railml.png No edit summary current
13:2813:28, 14 August 2026 diff hist +1,063 RailML Tutorial No edit summary
13:1313:13, 14 August 2026 diff hist 0 N File:Prob2ui railml vis simple.png No edit summary current
13:1313:13, 14 August 2026 diff hist 0 N File:Prob2ui railml import3.png No edit summary current
13:1313:13, 14 August 2026 diff hist 0 N File:Prob2ui railml import2.png No edit summary current
13:1113:11, 14 August 2026 diff hist 0 N File:Prob2ui railml import1.png No edit summary current
13:0913:09, 14 August 2026 diff hist 0 N RailML Tutorial Created blank page
09:0509:05, 14 August 2026 diff hist +25 m RailML No edit summary
08:2808:28, 14 August 2026 diff hist +6 m RailML →Citing
08:2708:27, 14 August 2026 diff hist +97 m RailML →Citing

05:5105:51, 13 August 2026 diff hist +1 m The ProB Animator and Model Checker No edit summary
05:4905:49, 13 August 2026 diff hist +73 m RailML No edit summary
05:4505:45, 13 August 2026 diff hist +537 m RailML No edit summary
05:3705:37, 13 August 2026 diff hist +12 m RailML No edit summary
05:3705:37, 13 August 2026 diff hist +609 m RailML No edit summary

17:0717:07, 12 August 2026 diff hist −5 m The ProB Animator and Model Checker →Features
17:0717:07, 12 August 2026 diff hist −4 m The ProB Animator and Model Checker →Features
17:0617:06, 12 August 2026 diff hist +71 m The ProB Animator and Model Checker →Features
17:0017:00, 12 August 2026 diff hist +682 m RailML No edit summary
16:5116:51, 12 August 2026 diff hist +73 m ProB for Railways →Further Industrial Uses of ProB for Data Validation current
16:4916:49, 12 August 2026 diff hist +396 m RailML No edit summary

10:3110:31, 3 August 2026 diff hist 0 N RailML Created blank page

19:3619:36, 14 July 2026 diff hist −16 m The ProB Animator and Model Checker fix link

07:1807:18, 25 June 2026 diff hist 0 m ProBLicence →ProB Licence current

13:5013:50, 15 May 2026 diff hist +113 m Sequent Prover No edit summary current

14:0814:08, 5 March 2026 diff hist +163 m Other languages →Using VisB in XTL mode current

12:3512:35, 23 January 2026 diff hist +159 m Rodin POs and ProB No edit summary current

17:5517:55, 3 January 2026 diff hist −4 m Download →macOS issues

18:0818:08, 16 December 2025 diff hist 0 N Sequent Prover Created blank page

13:3413:34, 7 November 2025 diff hist +18 m ProB2-UI →Download
12:0012:00, 7 November 2025 diff hist −15 m Download →ProB2-UI (based on JavaFX)

07:0907:09, 28 October 2025 diff hist +26 m Handbook/Advanced Features No edit summary current

Retrieved from "https://prob.hhu.de/w/index.php?title=Special:Contributions/Jan_Gruteser"