User contributions for Michael Leuschel

6 December 2021

• 16:0616:06, 6 December 2021 diff hist −40‎ Links ‎ →‎Books
• 16:0516:05, 6 December 2021 diff hist −7‎ Links ‎ →‎Books

27 November 2021

• 07:2307:23, 27 November 2021 diff hist +49‎ State Space Visualization ‎ →‎Transition Diagram
• 07:2007:20, 27 November 2021 diff hist 0‎ State Space Visualization ‎ →‎Transition Diagram
• 07:2007:20, 27 November 2021 diff hist 0‎ N File:Lift proj.png ‎No edit summary current
• 07:1807:18, 27 November 2021 diff hist +1‎ State Space Visualization ‎ →‎Transition Diagram
• 07:1807:18, 27 November 2021 diff hist 0‎ N File:Lift proj.pdf ‎No edit summary current
• 07:1707:17, 27 November 2021 diff hist +214‎ State Space Visualization ‎No edit summary
• 07:1307:13, 27 November 2021 diff hist +314‎ State Space Visualization ‎ →‎Statespace Projections
• 07:0907:09, 27 November 2021 diff hist +154‎ State Space Visualization ‎ →‎Graph Nodes
• 07:0207:02, 27 November 2021 diff hist +86‎ State Space Visualization ‎No edit summary
• 07:0007:00, 27 November 2021 diff hist +245‎ State Space Visualization ‎No edit summary
• 06:5706:57, 27 November 2021 diff hist +779‎ State Space Visualization ‎ →‎Statespace Projections

24 November 2021

• 09:3509:35, 24 November 2021 diff hist +150‎ Generating UML Sequence Charts ‎ →‎Installation and Using
• 09:3309:33, 24 November 2021 diff hist 0‎ N File:ProBUMLSeqChartCmd.png ‎No edit summary current
• 09:3209:32, 24 November 2021 diff hist +1‎ Generating UML Sequence Charts ‎No edit summary
• 09:3109:31, 24 November 2021 diff hist −5‎ Generating UML Sequence Charts ‎ →‎Using the Command
• 09:2109:21, 24 November 2021 diff hist +224‎ Generating UML Sequence Charts ‎ →‎Specifying the Actors
• 09:1909:19, 24 November 2021 diff hist +87‎ Generating UML Sequence Charts ‎ →‎Example
• 09:1809:18, 24 November 2021 diff hist 0‎ Generating UML Sequence Charts ‎ →‎Example
• 09:1809:18, 24 November 2021 diff hist 0‎ Generating UML Sequence Charts ‎No edit summary
• 09:1709:17, 24 November 2021 diff hist +110‎ Generating UML Sequence Charts ‎ →‎Example
• 09:1709:17, 24 November 2021 diff hist 0‎ N File:ProBUMLSeqCharScheduler.png ‎No edit summary current
• 09:1609:16, 24 November 2021 diff hist +4‎ Generating UML Sequence Charts ‎ →‎Example
• 09:1609:16, 24 November 2021 diff hist +4‎ Generating UML Sequence Charts ‎ →‎Using the Command
• 09:1609:16, 24 November 2021 diff hist +66‎ Generating UML Sequence Charts ‎ →‎Installation and Using
• 09:1509:15, 24 November 2021 diff hist +127‎ Generating UML Sequence Charts ‎No edit summary
• 09:1309:13, 24 November 2021 diff hist +74‎ Generating UML Sequence Charts ‎No edit summary
• 09:1209:12, 24 November 2021 diff hist +1,689‎ Generating UML Sequence Charts ‎ →‎Specifying the Actors
• 09:1009:10, 24 November 2021 diff hist −38‎ Generating UML Sequence Charts ‎ →‎Specifying the Actors
• 09:0709:07, 24 November 2021 diff hist +174‎ Generating UML Sequence Charts ‎ →‎Specifying the Actors
• 08:5408:54, 24 November 2021 diff hist +8‎ Generating UML Sequence Charts ‎No edit summary
• 08:5308:53, 24 November 2021 diff hist +1,299‎ N Generating UML Sequence Charts ‎ Created page with "= UML Sequence Charts for Traces ProB has a new experimental feature to generate a UML sequence chart from the current animation trace. It currently only works for classical..."
• 08:4508:45, 24 November 2021 diff hist +37‎ Template:User Manual Index ‎No edit summary

18 November 2021

• 13:0513:05, 18 November 2021 diff hist +12‎ External Functions ‎ →‎Standard Libraries provided by ProB

13 November 2021

• 07:2607:26, 13 November 2021 diff hist +16‎ Download ‎ →‎Graphviz Requirements
• 07:2507:25, 13 November 2021 diff hist +598‎ Download ‎ →‎Graphviz Requirements

10 November 2021

• 12:4112:41, 10 November 2021 diff hist −5‎ Download ‎ →‎Tcl/Tk on Mac OS/X

30 October 2021

• 06:4106:41, 30 October 2021 diff hist +97‎ Download ‎ →‎Tcl/Tk on Mac OS/X

29 October 2021

• 08:3308:33, 29 October 2021 diff hist +199‎ Download ‎ →‎Tcl/Tk on Mac OS/X

28 October 2021

• 14:5014:50, 28 October 2021 diff hist +1‎ Download ‎ →‎Tcl/Tk on Mac OS/X
• 14:5014:50, 28 October 2021 diff hist +74‎ Download ‎ →‎Tcl/Tk on Mac OS/X
• 14:4714:47, 28 October 2021 diff hist +377‎ Download ‎ →‎Tcl/Tk on Mac OS/X
• 14:3414:34, 28 October 2021 diff hist +13‎ Download ‎ →‎Tcl/Tk on Mac OS/X
• 14:3414:34, 28 October 2021 diff hist +399‎ Download ‎ →‎Tcl/Tk on Mac OS/X
• 09:4509:45, 28 October 2021 diff hist −81‎ Download ‎ →‎Tcl/Tk on Mac OS/X
• 09:4409:44, 28 October 2021 diff hist −82‎ Download ‎ →‎Tcl/Tk on Windows
• 09:4409:44, 28 October 2021 diff hist −11‎ Download ‎ →‎Tcl/Tk on Windows
• 09:4209:42, 28 October 2021 diff hist +13‎ Download ‎ →‎Tcl/Tk on Windows
• 09:4109:41, 28 October 2021 diff hist −189‎ Download ‎ →‎Tcl/Tk on Windows