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 106 edits. Account created on 2 May 2023.

13:5113:51, 14 April 2025 diff hist 0 m Generating UML Sequence Charts →Installation and Using current
13:5113:51, 14 April 2025 diff hist +85 m Generating UML Sequence Charts →Installation and Using
13:4513:45, 14 April 2025 diff hist +318 m Rules-DSL →Rule Validation with probcli current
13:0813:08, 14 April 2025 diff hist +115 m Rules-DSL →Rule Validation with probcli
12:4112:41, 14 April 2025 diff hist +94 m Using the Command-Line Version of ProB →-rule_report current

09:1009:10, 4 April 2025 diff hist +14 m VisB →VisB DEFINITIONS current
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

11:2711:27, 24 July 2024 diff hist +224 TLC →Using TLC in probcli current
11:2311:23, 24 July 2024 diff hist +29 TLC →Limitations

06:3706:37, 11 May 2024 diff hist +83 External Functions →Standard Libraries provided by ProB

14:1414:14, 10 May 2024 diff hist −1 m External Functions →Standard Libraries provided by ProB
11:4211:42, 10 May 2024 diff hist +145 m External Functions →Standard Libraries provided by ProB

08:3708:37, 3 May 2024 diff hist 0 m TLA →Understanding the type checker

12:2912:29, 2 May 2024 diff hist +45 m TLA →Understanding the type checker

07:2907:29, 30 April 2024 diff hist 0 m TLA →Supported TLA+ syntax
07:2807:28, 30 April 2024 diff hist +50 m TLA →Understanding the type checker
07:2707:27, 30 April 2024 diff hist +103 m TLA →Supported TLA+ syntax: add real syntax

12:2912:29, 22 April 2024 diff hist +36 m Handbook/B Language add Freetypes page current

11:3411:34, 15 April 2024 diff hist −11 m Summary of B Syntax →Definitions:
11:2911:29, 15 April 2024 diff hist +99 Summary of B Syntax →Definitions:: add ref to uml
11:2311:23, 15 April 2024 diff hist +141 Summary of B Syntax →Definitions:: add ref to CUSTOM_GRAPH

14:3914:39, 5 March 2024 diff hist −1 m Sudoku Solved in the ProB REPL fix typo current

10:5510:55, 23 February 2024 diff hist +1 m Summary of B Syntax →Freetypes: fix typo

14:5514:55, 22 February 2024 diff hist +477 Rules-DSL →Internal Representation
14:4214:42, 22 February 2024 diff hist +149 m Rules-DSL →Include Rules Machines into other Projects
14:3914:39, 22 February 2024 diff hist +119 m Rules-DSL →Rule Validation in ProB2-UI

16:3816:38, 11 January 2024 diff hist +19 m Rules-DSL →Rule Validation in ProB2-UI
16:3716:37, 11 January 2024 diff hist −4 m Rules-DSL →Rule Validation in ProB2-UI
16:3616:36, 11 January 2024 diff hist +241 m Rules-DSL →Rule Validation in ProB2-UI
16:2616:26, 11 January 2024 diff hist +48 m Summary of B Syntax →LET and IF-THEN-ELSE: add ELSIF for predicates

13:2313:23, 8 January 2024 diff hist +36 m Handbook/Other Languages No edit summary current
09:4109:41, 8 January 2024 diff hist +60 m Rules-DSL →Rule Validation in ProB2-UI
09:3709:37, 8 January 2024 diff hist 0 N File:ProB2 UI Rules View.png No edit summary current

17:3017:30, 29 December 2023 diff hist +1 m External Functions →Standard Libraries provided by ProB

11:0211:02, 1 December 2023 diff hist +33 m Rules-DSL →B-Rules DSL
10:5410:54, 1 December 2023 diff hist +111 m Rules-DSL →Rules
10:5010:50, 1 December 2023 diff hist +276 m Rules-DSL →B-Rules DSL: mention ProB2-UI

13:1313:13, 8 November 2023 diff hist −1 m Rules-DSL →Rules

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