User contributions for Jan Gruteser

25 October 2023

• 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

15 September 2023

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

10 August 2023

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

31 May 2023

• 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

15 May 2023

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

14 May 2023

• 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

8 May 2023

• 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

5 May 2023

• 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

4 May 2023

• 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

3 May 2023

• 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