User contributions for Michael Leuschel

18 June 2025

• 15:3915:39, 18 June 2025 diff hist +94 JSON and Sockets →Client-Server Example Machines current
• 14:2814:28, 18 June 2025 diff hist +102 VisB No edit summary current
• 10:3310:33, 18 June 2025 diff hist +173 Bugs →Console Output current
• 07:4607:46, 18 June 2025 diff hist +2,235 JSON and Sockets →Client-Server Example Machines
• 07:4407:44, 18 June 2025 diff hist +3,931 JSON and Sockets →Example Machine

17 June 2025

• 11:1311:13, 17 June 2025 diff hist +100 Bugs →Console Output
• 11:1011:10, 17 June 2025 diff hist +92 Bugs No edit summary
• 11:0711:07, 17 June 2025 diff hist −1 Bugs No edit summary
• 11:0711:07, 17 June 2025 diff hist +53 Bugs No edit summary
• 11:0611:06, 17 June 2025 diff hist +603 Bugs No edit summary
• 11:0011:00, 17 June 2025 diff hist +408 Bugs No edit summary

12 May 2025

• 07:2207:22, 12 May 2025 diff hist +215 Other languages No edit summary current

2 May 2025

• 13:0113:01, 2 May 2025 diff hist +201 Generating UML Sequence Charts →Specifying the Actors current

30 April 2025

• 13:0513:05, 30 April 2025 diff hist +4,092 Nine Prisoners →Adding graphical visualization current
• 13:0213:02, 30 April 2025 diff hist 0 Nine Prisoners No edit summary
• 13:0113:01, 30 April 2025 diff hist +48 Nine Prisoners No edit summary
• 12:5812:58, 30 April 2025 diff hist −1 m Nine Prisoners No edit summary
• 12:5812:58, 30 April 2025 diff hist +247 Nine Prisoners No edit summary

11 April 2025

• 14:2214:22, 11 April 2025 diff hist +150 Download →Tcl/Tk from Homebrew or MacPorts current

3 April 2025

• 12:4612:46, 3 April 2025 diff hist +1 Implication inside an Existential Quantifier No edit summary current