User contributions for Jan Gruteser

11 January 2024

• 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

8 January 2024

• 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

29 December 2023

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

1 December 2023

• 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

8 November 2023

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

25 October 2023

• 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