User contributions for Michael Leuschel

20 May 2023

• 06:1906:19, 20 May 2023 diff hist 0‎ VisB ‎ →‎VisB DEFINITIONS
• 06:1806:18, 20 May 2023 diff hist −2‎ VisB ‎ →‎VisB DEFINITIONS
• 06:1806:18, 20 May 2023 diff hist +57‎ VisB ‎ →‎VisB DEFINITIONS
• 06:1706:17, 20 May 2023 diff hist +275‎ VisB ‎ →‎VisB DEFINITIONS
• 06:1006:10, 20 May 2023 diff hist +1‎ VisB ‎ →‎VisB DEFINITIONS
• 06:0906:09, 20 May 2023 diff hist −1‎ VisB ‎ →‎VisB DEFINITIONS

11 May 2023

• 12:5312:53, 11 May 2023 diff hist +4‎ Current Limitations ‎No edit summary current

3 May 2023

• 14:1714:17, 3 May 2023 diff hist +1‎ Download ‎ →‎Latest Release
• 14:1314:13, 3 May 2023 diff hist −138‎ Download ‎ →‎Latest Release
• 11:2311:23, 3 May 2023 diff hist +2‎ Download ‎ →‎Latest Release
• 08:3708:37, 3 May 2023 diff hist +163‎ Tutorial Animation Tips ‎ →‎Using EXTENDS current
• 08:3508:35, 3 May 2023 diff hist +2‎ Tutorial Animation Tips ‎ →‎Using EXTENDS
• 08:3508:35, 3 May 2023 diff hist +625‎ Tutorial Animation Tips ‎ →‎Using Trace Replay

2 May 2023

• 13:4213:42, 2 May 2023 diff hist +271‎ Tutorial Animation Tips ‎ →‎Using Constraint-Based Validation Techniques
• 13:3913:39, 2 May 2023 diff hist +253‎ Tutorial Animation Tips ‎ →‎Increasing MAX_OPERATIONS or MAX_INITIALISATIONS
• 13:3713:37, 2 May 2023 diff hist +170‎ Tutorial Animation Tips ‎ →‎Increasing MAX_OPERATIONS
• 13:3513:35, 2 May 2023 diff hist +140‎ Tutorial Setup Phases ‎ →‎2. SETUP_CONSTANTS current
• 13:3313:33, 2 May 2023 diff hist +28‎ Tutorial Setup Phases ‎ →‎2. SETUP_CONSTANTS
• 09:0809:08, 2 May 2023 diff hist +45‎ N Rules-DSL ‎ Created page with "== Rules DSL == Domain-Specific Language ..."
• 09:0709:07, 2 May 2023 diff hist +47‎ Template:User Manual Index ‎No edit summary