Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Jan Gruteser

For Jan Gruteser talk block log uploads logs

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

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 current

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 current
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

15:1815:18, 25 October 2023 diff hist −18‎ m Rules-DSL ‎ →‎Use Rules for Data Validation
15:0715:07, 25 October 2023 diff hist +5‎ m Rules-DSL ‎ →‎Include Rules Machines into other Projects
15:0415:04, 25 October 2023 diff hist +1,316‎ Rules-DSL ‎ →‎B-Rules DSL: add internal representation
14:4514:45, 25 October 2023 diff hist −22‎ m Rules-DSL ‎ →‎Additional Syntax
14:4114:41, 25 October 2023 diff hist +13‎ m Rules-DSL ‎ →‎Functions
14:3914:39, 25 October 2023 diff hist −103‎ m Rules-DSL ‎ →‎Computations
14:3814:38, 25 October 2023 diff hist −28‎ m Rules-DSL ‎ →‎Computations
14:3714:37, 25 October 2023 diff hist +279‎ m Rules-DSL ‎ →‎Computations
14:3614:36, 25 October 2023 diff hist +5‎ m Rules-DSL ‎ →‎Rules
14:3514:35, 25 October 2023 diff hist +175‎ m Rules-DSL ‎ →‎Computations
14:3214:32, 25 October 2023 diff hist +178‎ m Rules-DSL ‎ →‎Computations
14:2514:25, 25 October 2023 diff hist −3‎ m Rules-DSL ‎ →‎Rules
14:2414:24, 25 October 2023 diff hist −8‎ m Rules-DSL ‎ →‎Rules
14:2114:21, 25 October 2023 diff hist +144‎ m Rules-DSL ‎ →‎Rules
13:5413:54, 25 October 2023 diff hist +323‎ m Rules-DSL ‎ →‎Rules
13:4713:47, 25 October 2023 diff hist +104‎ m Rules-DSL ‎ →‎Rules
13:3513:35, 25 October 2023 diff hist 0‎ m Rules-DSL ‎ →‎Setting up a Rules Machine
13:3413:34, 25 October 2023 diff hist +90‎ m Rules-DSL ‎ →‎Setting up a Rules Machine
13:3013:30, 25 October 2023 diff hist +2‎ m Rules-DSL ‎ →‎Rules DSL
13:2913:29, 25 October 2023 diff hist +14‎ m Rules-DSL ‎ →‎Rules DSL

14:1314:13, 15 September 2023 diff hist +242‎ m Using the Command-Line Version of ProB ‎ →‎Options: add description of -property current

12:1812:18, 10 August 2023 diff hist −12‎ m Rules-DSL ‎ →‎Additional Syntax: minor fix

14:5614:56, 31 May 2023 diff hist −1‎ m Rules-DSL ‎ →‎Rules DSL: fix typos
14:5514:55, 31 May 2023 diff hist 0‎ m Rules-DSL ‎ →‎Rules: fix typos

16:4116:41, 15 May 2023 diff hist +16‎ m Rules-DSL ‎ →‎Setting up a Rules Machine

18:0718:07, 14 May 2023 diff hist −1‎ m Rules-DSL ‎ →‎Additional Syntax
18:0618:06, 14 May 2023 diff hist +3‎ m Rules-DSL ‎ →‎Additional Syntax
18:0518:05, 14 May 2023 diff hist +32‎ m Rules-DSL ‎ →‎Additional Syntax
17:5217:52, 14 May 2023 diff hist +461‎ m Rules-DSL ‎ →‎Additional Syntax
17:3817:38, 14 May 2023 diff hist +335‎ m Rules-DSL ‎ →‎Additional Predicates
15:3815:38, 14 May 2023 diff hist +719‎ Rules-DSL ‎ →‎Rules DSL
08:3508:35, 14 May 2023 diff hist +115‎ m Rules-DSL ‎ →‎Computations
08:3208:32, 14 May 2023 diff hist +131‎ m Rules-DSL ‎ →‎Computations

05:0105:01, 8 May 2023 diff hist +22‎ m Rules-DSL ‎ →‎Use Rules for Data Validation
05:0005:00, 8 May 2023 diff hist +540‎ m Rules-DSL ‎ →‎Use Rules for Data Validation

18:2418:24, 5 May 2023 diff hist +1‎ m Rules-DSL ‎ →‎Functions
18:2318:23, 5 May 2023 diff hist 0‎ m Rules-DSL ‎ →‎Computations
18:2218:22, 5 May 2023 diff hist −99‎ Rules-DSL ‎ →‎Rules DSL
17:5817:58, 5 May 2023 diff hist +325‎ m Rules-DSL ‎ →‎Functions
17:5317:53, 5 May 2023 diff hist +102‎ m Rules-DSL ‎ →‎Rules
17:5117:51, 5 May 2023 diff hist +47‎ m Rules-DSL ‎ →‎Computations
17:3717:37, 5 May 2023 diff hist +382‎ m Rules-DSL ‎ →‎Rules DSL

08:3608:36, 4 May 2023 diff hist +393‎ m Rules-DSL ‎ →‎Rules DSL
08:2508:25, 4 May 2023 diff hist −1‎ m Rules-DSL ‎ →‎Computations

18:1918:19, 3 May 2023 diff hist +112‎ m Rules-DSL ‎ →‎Setting up a Rules Machine
18:1818:18, 3 May 2023 diff hist +186‎ m Rules-DSL ‎ →‎Rules
18:1618:16, 3 May 2023 diff hist +570‎ m Rules-DSL ‎ →‎Setting up a Rules Machine
18:0718:07, 3 May 2023 diff hist +591‎ m Rules-DSL ‎ →‎Computations
17:5317:53, 3 May 2023 diff hist +227‎ m Rules-DSL ‎ →‎Setting up a Rules Machine
11:1111:11, 3 May 2023 diff hist +1‎ m Rules-DSL ‎ →‎Rules
11:1011:10, 3 May 2023 diff hist +588‎ Rules-DSL ‎ →‎Rules DSL
10:0210:02, 3 May 2023 diff hist +194‎ Rules-DSL ‎ →‎Rules DSL
09:5109:51, 3 May 2023 diff hist +352‎ Rules-DSL ‎ →‎Rules DSL
09:4509:45, 3 May 2023 diff hist +12‎ Rules-DSL ‎ →‎Use Rules for Data Validation
09:4109:41, 3 May 2023 diff hist +1,202‎ Rules-DSL ‎ →‎Rules DSL
09:0409:04, 3 May 2023 diff hist +800‎ Rules-DSL ‎ →‎Rules DSL

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