User contributions for Jan Gruteser - ProB Documentation

Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Jan Gruteser

Results for Jan Gruteser talk block log uploads logs

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

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

11:3511:35, 13 October 2025 diff hist +22 m Download →Editor Support
11:3411:34, 13 October 2025 diff hist +91 m Download →Editor Support
11:3111:31, 13 October 2025 diff hist −2 m Editors for ProB →Visual Studio Code current
11:3111:31, 13 October 2025 diff hist 0 m Editors for ProB →External Editors
11:2911:29, 13 October 2025 diff hist +228 m Editors for ProB →VSCode

15:4415:44, 12 October 2025 diff hist −4 m Using ProB with Atelier B →Atelier B Plugin

12:2012:20, 8 October 2025 diff hist +1 m Template:ProBSourceCode No edit summary current

16:3416:34, 6 October 2025 diff hist +851 Other languages XTL VisB
16:2216:22, 6 October 2025 diff hist +1,127 m Team Links gefixt current
08:1308:13, 6 October 2025 diff hist +2 m Other languages →All recognised Prolog Predicates
08:1208:12, 6 October 2025 diff hist +34 m Other languages →All recognised Prolog Predicates
07:4607:46, 6 October 2025 diff hist +151 m Other languages →All recognised Prolog Predicates
07:4507:45, 6 October 2025 diff hist +328 m Other languages →All recognised Prolog Predicates
07:4107:41, 6 October 2025 diff hist +161 m Other languages →All recognised Prolog Predicates
07:3807:38, 6 October 2025 diff hist +559 m Other languages →All recognised Prolog Predicates
07:2907:29, 6 October 2025 diff hist +247 m Other languages →Examples
07:2707:27, 6 October 2025 diff hist +100 m Other languages →XTL Prolog Format for Transition Systems
07:2507:25, 6 October 2025 diff hist +36 m Other languages →All recognised Prolog predicates
07:2507:25, 6 October 2025 diff hist +19 m Other languages →XTL Prolog Format for Transition Systems
07:2207:22, 6 October 2025 diff hist +31 m Other languages →XTL Prolog Format for Transition Systems

08:0208:02, 9 July 2025 diff hist +1 m ProB's Prolog Datastructures →Data Values current

16:1016:10, 13 June 2025 diff hist +1 m LTL Model Checking No edit summary
15:5415:54, 13 June 2025 diff hist +26 m LTL Model Checking →Summary of CTL Syntax supported by ProB

17:0617:06, 30 April 2025 diff hist +79 m Rules-DSL →Computations current

09:1009:10, 4 April 2025 diff hist +14 m VisB →VisB DEFINITIONS
07:3507:35, 4 April 2025 diff hist −3 m VisB →VisB DEFINITIONS
07:2907:29, 4 April 2025 diff hist +2 m VisB →VisB DEFINITIONS
07:2807:28, 4 April 2025 diff hist +629 m VisB →VisB DEFINITIONS

05:3605:36, 2 April 2025 diff hist +45 m External Functions →Standard Libraries provided by ProB current

10:2910:29, 31 March 2025 diff hist +30 m Rules-DSL →Rule Validation with probcli
10:2910:29, 31 March 2025 diff hist −4 m Rules-DSL →Rule Validation with probcli
10:2910:29, 31 March 2025 diff hist +4 m Rules-DSL →Rule Validation with probcli
10:2810:28, 31 March 2025 diff hist +173 m Rules-DSL →Rule Validation with probcli
07:5607:56, 31 March 2025 diff hist +447 m Using the Command-Line Version of ProB No edit summary
07:3707:37, 31 March 2025 diff hist +56 m Using the Command-Line Version of ProB No edit summary
07:3307:33, 31 March 2025 diff hist +369 m Rules-DSL →B-Rules DSL
07:3007:30, 31 March 2025 diff hist +385 m Rules-DSL →Rules

15:1615:16, 26 July 2024 diff hist +175 m SimB →SimB

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