Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Michael Leuschel

For Michael Leuschel talk block log uploads logs

11:4111:41, 6 April 2023 diff hist −1‎ Download ‎ →‎Short Release History
11:4111:41, 6 April 2023 diff hist +88‎ Download ‎ →‎Short Release History
11:4011:40, 6 April 2023 diff hist 0‎ The ProB Animator and Model Checker ‎No edit summary
11:3911:39, 6 April 2023 diff hist +108‎ The ProB Animator and Model Checker ‎No edit summary
11:3511:35, 6 April 2023 diff hist −40‎ The ProB Animator and Model Checker ‎No edit summary
11:3311:33, 6 April 2023 diff hist −183‎ The ProB Animator and Model Checker ‎No edit summary
11:1011:10, 6 April 2023 diff hist −117‎ The ProB Animator and Model Checker ‎ →‎Implementation
11:0911:09, 6 April 2023 diff hist −62‎ The ProB Animator and Model Checker ‎No edit summary
11:0411:04, 6 April 2023 diff hist +192‎ The ProB Animator and Model Checker ‎No edit summary
11:0311:03, 6 April 2023 diff hist 0‎ Download ‎ →‎Short Release History
11:0311:03, 6 April 2023 diff hist +204‎ Download ‎ →‎Short Release History
10:5410:54, 6 April 2023 diff hist +5,918‎ ProB Release History ‎No edit summary

17:2917:29, 5 April 2023 diff hist −66‎ Download ‎ →‎Latest Release
17:2817:28, 5 April 2023 diff hist +67‎ Download ‎ →‎Latest Release
14:5414:54, 5 April 2023 diff hist −1‎ Download ‎ →‎Latest Release
14:5314:53, 5 April 2023 diff hist +3‎ Download ‎ →‎Latest Release
13:3513:35, 5 April 2023 diff hist −33‎ Download ‎ →‎Tcl/Tk Requirements for ProB Tcl/Tk
13:3413:34, 5 April 2023 diff hist −17‎ Download ‎ →‎Latest Release
13:3313:33, 5 April 2023 diff hist +9‎ Download ‎No edit summary
13:3213:32, 5 April 2023 diff hist 0‎ Download ‎ →‎ProB for Rodin
13:3113:31, 5 April 2023 diff hist −2‎ Download ‎ →‎ProB for Rodin
13:3013:30, 5 April 2023 diff hist +4‎ Download ‎ →‎Latest Release
13:3013:30, 5 April 2023 diff hist +18‎ Download ‎ →‎Latest Release
13:2913:29, 5 April 2023 diff hist +72‎ Download ‎ →‎Latest Release
13:2713:27, 5 April 2023 diff hist −494‎ Download ‎No edit summary
13:1713:17, 5 April 2023 diff hist −1‎ Download ‎ →‎Tcl/Tk on macOS
13:1613:16, 5 April 2023 diff hist +23‎ Download ‎ →‎Tcl/Tk on macOS
13:1613:16, 5 April 2023 diff hist +11‎ Download ‎ →‎Tcl/Tk on macOS
11:3911:39, 5 April 2023 diff hist −1‎ Download ‎ →‎Latest Release
11:3911:39, 5 April 2023 diff hist −1‎ Download ‎ →‎Latest Release
11:3811:38, 5 April 2023 diff hist +141‎ Download ‎ →‎Latest Release
07:3207:32, 5 April 2023 diff hist +1,504‎ DownloadPriorVersions ‎No edit summary

13:0313:03, 22 March 2023 diff hist +665‎ Using ProB with Atelier B ‎ →‎Differences
12:5412:54, 22 March 2023 diff hist +2‎ Using ProB with Atelier B ‎ →‎Extra Features of ProB
12:5312:53, 22 March 2023 diff hist +164‎ Using ProB with Atelier B ‎ →‎Extra Features of ProB
12:5112:51, 22 March 2023 diff hist +92‎ Using ProB with Atelier B ‎ →‎Extra Features of ProB
12:4612:46, 22 March 2023 diff hist +8‎ Using ProB with Atelier B ‎No edit summary
12:4512:45, 22 March 2023 diff hist −9‎ Using ProB with Atelier B ‎No edit summary

14:2414:24, 4 March 2023 diff hist +33‎ LTL Model Checking ‎ →‎LTL Preferences current
14:2114:21, 4 March 2023 diff hist −11‎ LTL Model Checking ‎ →‎Safety Properties
14:2014:20, 4 March 2023 diff hist −6‎ LTL Model Checking ‎ →‎Safety Properties
14:2014:20, 4 March 2023 diff hist +1,156‎ LTL Model Checking ‎ →‎Setting Fairness Constraints
14:1914:19, 4 March 2023 diff hist +584‎ LTL Model Checking ‎ →‎Supported Syntax

16:3116:31, 15 February 2023 diff hist +5‎ Links ‎ →‎Books and Resources on B
16:2916:29, 15 February 2023 diff hist +115‎ Links ‎ →‎Books
16:2716:27, 15 February 2023 diff hist +155‎ Links ‎ →‎Books
16:2416:24, 15 February 2023 diff hist +81‎ Links ‎ →‎Books

08:2708:27, 24 January 2023 diff hist +86‎ VisB ‎ →‎Using the VisB exported HTML file
08:1208:12, 24 January 2023 diff hist +22‎ VisB ‎ →‎Using the VisB exported HTML file
08:1108:11, 24 January 2023 diff hist −1‎ VisB ‎ →‎Using the VisB exported HTML file
08:1108:11, 24 January 2023 diff hist 0‎ N File:ProB2UI VisB View ExportedHTML.png ‎No edit summary current
08:1108:11, 24 January 2023 diff hist +102‎ VisB ‎ →‎Debugging and HTML Export
08:0808:08, 24 January 2023 diff hist 0‎ VisB ‎ →‎Debugging and HTML Export
08:0708:07, 24 January 2023 diff hist +447‎ VisB ‎ →‎Debugging and HTML Export

17:2917:29, 20 January 2023 diff hist +6‎ VisB ‎ →‎Items and Events

09:5409:54, 16 January 2023 diff hist +61‎ VisB ‎ →‎Items and Events
09:5409:54, 16 January 2023 diff hist +304‎ VisB ‎ →‎Items and Events
09:1709:17, 16 January 2023 diff hist +244‎ VisB ‎ →‎VisB Attributes
09:0409:04, 16 January 2023 diff hist +332‎ VisB ‎ →‎VisB Attributes
09:0109:01, 16 January 2023 diff hist +155‎ VisB ‎No edit summary

09:0509:05, 15 January 2023 diff hist +172‎ VisB ‎No edit summary

11:5611:56, 19 December 2022 diff hist −2‎ Tutorial Disprover ‎ →‎Disprover Export Example current

10:3110:31, 15 December 2022 diff hist +21‎ Download ‎ →‎Tcl/Tk on macOS

16:0016:00, 14 December 2022 diff hist +170‎ The ProB Animator and Model Checker ‎No edit summary
15:5815:58, 14 December 2022 diff hist +160‎ The ProB Animator and Model Checker ‎No edit summary

08:3508:35, 21 November 2022 diff hist +90‎ Links ‎ →‎Tools using ProB

11:4711:47, 8 November 2022 diff hist 0‎ ProB Logic Calculator ‎No edit summary current
11:4611:46, 8 November 2022 diff hist +23‎ ProB Logic Calculator ‎ →‎Executing the Calculator locally
11:4411:44, 8 November 2022 diff hist 0‎ N File:ProBTerminalizerReplDemo.gif ‎No edit summary current
11:4311:43, 8 November 2022 diff hist −39‎ ProB Logic Calculator ‎ →‎Executing the Calculator locally
11:3811:38, 8 November 2022 diff hist 0‎ File:ProBTerminalizerDemo.gif ‎ Michael Leuschel uploaded a new version of File:ProBTerminalizerDemo.gif current

17:0717:07, 6 November 2022 diff hist 0‎ Using the Command-Line Version of ProB ‎No edit summary
17:0617:06, 6 November 2022 diff hist 0‎ N File:ProBTerminalizerDemo.gif ‎No edit summary
17:0317:03, 6 November 2022 diff hist +49‎ Using the Command-Line Version of ProB ‎No edit summary

14:2914:29, 17 October 2022 diff hist −36‎ ProB Logic Calculator ‎No edit summary
14:2914:29, 17 October 2022 diff hist −12‎ ProB Logic Calculator ‎No edit summary

10:4310:43, 10 October 2022 diff hist −1‎ Download ‎ →‎Tcl/Tk on macOS
10:4110:41, 10 October 2022 diff hist +50‎ Download ‎ →‎Tcl/Tk on macOS

16:2416:24, 27 September 2022 diff hist +171‎ Event-B Theories ‎ →‎Tagging operators
14:2914:29, 27 September 2022 diff hist +303‎ Links ‎ →‎Testimonials

10:1710:17, 26 September 2022 diff hist +159‎ Event-B Theories ‎ →‎Tagging operators

12:1312:13, 21 September 2022 diff hist +1‎ Event-B Theories ‎ →‎Tagging operators
12:1212:12, 21 September 2022 diff hist +117‎ Event-B Theories ‎ →‎Tagging operators

13:3513:35, 9 September 2022 diff hist −5‎ Download ‎ →‎Tcl/Tk on Windows
13:3413:34, 9 September 2022 diff hist +446‎ Download ‎ →‎Tcl/Tk on Windows

07:5507:55, 5 September 2022 diff hist −1‎ Links ‎ →‎Testimonials
07:5507:55, 5 September 2022 diff hist +11‎ Links ‎ →‎Testimonials
07:5407:54, 5 September 2022 diff hist +516‎ Links ‎ →‎Testimonials

15:4715:47, 18 August 2022 diff hist −99‎ Links ‎ →‎Tools using ProB
15:4715:47, 18 August 2022 diff hist +99‎ Links ‎ →‎Related Tools
15:4715:47, 18 August 2022 diff hist +48‎ Links ‎ →‎Tools using ProB

08:2208:22, 27 June 2022 diff hist +33‎ Team ‎No edit summary

11:0911:09, 24 June 2022 diff hist +2‎ The ProB Animator and Model Checker ‎No edit summary
11:0811:08, 24 June 2022 diff hist −787‎ The ProB Animator and Model Checker ‎ →‎Citing ProB
11:0611:06, 24 June 2022 diff hist +1,434‎ N Citing ProB ‎ Created page with " The initial conference publication was: * Michael Leuschel & Michael Butler (2003): ProB: A Model Checker for B. In Keijiro Araki, Stefania Gnesi & Dino Mandrioli, editors:..." current
11:0611:06, 24 June 2022 diff hist +488‎ The ProB Animator and Model Checker ‎No edit summary
10:5510:55, 24 June 2022 diff hist +11‎ The ProB Animator and Model Checker ‎No edit summary
10:5410:54, 24 June 2022 diff hist +3‎ The ProB Animator and Model Checker ‎No edit summary
10:5210:52, 24 June 2022 diff hist +976‎ The ProB Animator and Model Checker ‎ →‎Versions of ProB

11:3111:31, 23 June 2022 diff hist −105‎ Caching Constants and Operations ‎ →‎Example current
11:3011:30, 23 June 2022 diff hist −129‎ Caching Constants and Operations ‎ →‎Example
11:2411:24, 23 June 2022 diff hist +64‎ Caching Constants and Operations ‎No edit summary

15:0415:04, 3 June 2022 diff hist +18‎ Debugging ‎ →‎Debugging Constant Size
15:0215:02, 3 June 2022 diff hist +134‎ Debugging ‎ →‎Debugging Constant Size
15:0115:01, 3 June 2022 diff hist +15‎ Debugging ‎ →‎Debugging Constant Size
15:0015:00, 3 June 2022 diff hist +2,952‎ Debugging ‎ →‎Debugging Constant Size =
14:5314:53, 3 June 2022 diff hist +2,281‎ Debugging ‎ →‎Debugging Constants Setup
14:4614:46, 3 June 2022 diff hist +800‎ Debugging ‎ →‎Debugging Constants Setup
13:5713:57, 3 June 2022 diff hist +228‎ Debugging ‎ →‎Debugging Constants Setup

11:0911:09, 24 May 2022 diff hist +304‎ Links ‎ →‎Testimonials
11:0611:06, 24 May 2022 diff hist 0‎ Links ‎ →‎Testimonials
11:0611:06, 24 May 2022 diff hist +583‎ Links ‎ →‎Testimonials

11:2711:27, 25 April 2022 diff hist 0‎ Download ‎ →‎Latest Beta Release

08:2608:26, 15 April 2022 diff hist −8‎ Template:ProBSourceCode ‎No edit summary

07:4707:47, 12 April 2022 diff hist −1‎ Download ‎ →‎Latest Release
07:4607:46, 12 April 2022 diff hist +37‎ Download ‎ →‎Latest Release
07:4507:45, 12 April 2022 diff hist −186‎ Download ‎ →‎Java Requirements for B parser
07:4207:42, 12 April 2022 diff hist +163‎ Download ‎ →‎Java Requirements for B parser

07:5907:59, 29 March 2022 diff hist +99‎ Links ‎ →‎Tools using ProB

09:0409:04, 25 March 2022 diff hist −14‎ VisB ‎ →‎Debugging and HTML Export
09:0309:03, 25 March 2022 diff hist +314‎ VisB ‎ →‎Debugging and HTML Export
06:3106:31, 25 March 2022 diff hist +66‎ VisB ‎ →‎Debugging and HTML Export
06:2606:26, 25 March 2022 diff hist +2‎ VisB ‎ →‎Debugging and HTML Export
06:2506:25, 25 March 2022 diff hist 0‎ File:ProB2UI VisB View Export.png ‎ Michael Leuschel uploaded a new version of File:ProB2UI VisB View Export.png current
06:2306:23, 25 March 2022 diff hist 0‎ N File:ProB2UI VisB Debug Table View.png ‎No edit summary current
06:2306:23, 25 March 2022 diff hist 0‎ N File:ProB2UI VisB View Export.png ‎No edit summary
06:2106:21, 25 March 2022 diff hist +3‎ VisB ‎ →‎Tips and Tricks
06:2006:20, 25 March 2022 diff hist +228‎ VisB ‎No edit summary
06:1906:19, 25 March 2022 diff hist +973‎ VisB ‎ →‎Tips and Tricks
06:0806:08, 25 March 2022 diff hist +123‎ VisB ‎ →‎Tips and Tricks
06:0606:06, 25 March 2022 diff hist +312‎ VisB ‎ →‎Tips and Tricks

06:5506:55, 24 March 2022 diff hist 0‎ Download ‎ →‎Latest Beta Release
06:5306:53, 24 March 2022 diff hist +186‎ LTSmin ‎ →‎LTSmin Extension of ProB current

07:4707:47, 23 March 2022 diff hist +9‎ LTSmin ‎ →‎LTSmin Extension of ProB

09:1709:17, 17 March 2022 diff hist +94‎ Download ‎ →‎ProB2-UI using Java FX

10:4610:46, 16 March 2022 diff hist +170‎ Download ‎ →‎ProB2-UI using Java FX

11:5711:57, 11 March 2022 diff hist +84‎ Using ProB with Atelier B ‎ →‎Extra Features of ProB
11:5611:56, 11 March 2022 diff hist +73‎ Using ProB with Atelier B ‎ →‎Extra Features of ProB
09:1809:18, 11 March 2022 diff hist +321‎ External Functions ‎ →‎Standard Libraries provided by ProB
09:1509:15, 11 March 2022 diff hist +622‎ External Functions ‎ →‎Standard Libraries provided by ProB

11:0211:02, 4 March 2022 diff hist 0‎ File:DisproverProB2UIStateView2.png ‎ Michael Leuschel uploaded a new version of File:DisproverProB2UIStateView2.png current
11:0111:01, 4 March 2022 diff hist −41‎ Tutorial Disprover ‎ →‎Example
09:3209:32, 4 March 2022 diff hist +38‎ Tutorial Disprover ‎ →‎Example
09:3109:31, 4 March 2022 diff hist 0‎ N File:DisproverExportExample.png ‎No edit summary current
09:3109:31, 4 March 2022 diff hist +41‎ Tutorial Disprover ‎ →‎Example
09:2909:29, 4 March 2022 diff hist +455‎ Tutorial Disprover ‎No edit summary
09:2609:26, 4 March 2022 diff hist 0‎ N File:DisproverProB2UIStateView2.png ‎No edit summary
09:2609:26, 4 March 2022 diff hist 0‎ N File:DisproverProB2UIStateView1.png ‎No edit summary current
09:2609:26, 4 March 2022 diff hist 0‎ N File:CBCStaticAssertionCheck.png ‎No edit summary current
09:2509:25, 4 March 2022 diff hist +122‎ Tutorial Disprover ‎No edit summary
09:2109:21, 4 March 2022 diff hist +1,142‎ Tutorial Disprover ‎ →‎Preferences
09:0409:04, 4 March 2022 diff hist +434‎ Tutorial Disprover ‎ →‎Preferences
08:4408:44, 4 March 2022 diff hist +161‎ Tutorial Disprover ‎ →‎Preferences
08:4208:42, 4 March 2022 diff hist 0‎ N File:DisproverPrefs.png ‎No edit summary current
08:4208:42, 4 March 2022 diff hist +106‎ Tutorial Disprover ‎No edit summary
08:3808:38, 4 March 2022 diff hist −1‎ Tutorial Disprover ‎ →‎WARNING
08:3708:37, 4 March 2022 diff hist +318‎ Tutorial Disprover ‎ →‎WARNING

13:3913:39, 8 February 2022 diff hist +164‎ Template:ProBSourceCode ‎No edit summary

08:5308:53, 7 February 2022 diff hist +11‎ VisB ‎ →‎VisB Definitions
08:5208:52, 7 February 2022 diff hist +88‎ VisB ‎No edit summary

17:0517:05, 4 February 2022 diff hist +205‎ Template:ProBSourceCode ‎No edit summary
17:0317:03, 4 February 2022 diff hist +123‎ Developer Manual ‎No edit summary
17:0017:00, 4 February 2022 diff hist +59‎ TLC ‎ →‎Translation from B to TLA+

08:4908:49, 24 January 2022 diff hist 0‎ Using ProB with Atelier B ‎ →‎Atelier B Plugin
08:4908:49, 24 January 2022 diff hist 0‎ N File:ProB AtelierB StartProB Menu.png ‎No edit summary current
08:4808:48, 24 January 2022 diff hist +181‎ Using ProB with Atelier B ‎ →‎ProB as Atelier B Prover

15:3215:32, 23 January 2022 diff hist +762‎ Using ProB with Atelier B ‎ →‎Atelier B Plugin
15:1615:16, 23 January 2022 diff hist −26‎ Using ProB with Atelier B ‎No edit summary
15:1515:15, 23 January 2022 diff hist +780‎ Using ProB with Atelier B ‎ →‎Atelier B Plugin

12:5912:59, 17 January 2022 diff hist +150‎ Download ‎ →‎ProB2-UI using Java FX

16:2116:21, 13 January 2022 diff hist −83‎ ProB Logic Calculator ‎No edit summary
15:1515:15, 13 January 2022 diff hist +21‎ Download ‎ →‎Latest Release

09:0309:03, 8 January 2022 diff hist +18‎ VisB ‎ →‎VisB Additional SVG Objects
09:0209:02, 8 January 2022 diff hist +140‎ VisB ‎ →‎VisB Additional SVG Objects
09:0009:00, 8 January 2022 diff hist 0‎ VisB ‎ →‎VisB Additional SVG Objects
08:5908:59, 8 January 2022 diff hist −2‎ VisB ‎ →‎Replication / Loops
08:5808:58, 8 January 2022 diff hist +293‎ VisB ‎ →‎Replication / Loops
08:5408:54, 8 January 2022 diff hist +1,370‎ VisB ‎ →‎VisB Definitions

08:0708:07, 30 December 2021 diff hist +8‎ Download ‎ →‎Editor Support
08:0508:05, 30 December 2021 diff hist +223‎ Download ‎ →‎Editor Support
08:0308:03, 30 December 2021 diff hist −25‎ Download ‎ →‎ProB for Rodin
07:5807:58, 30 December 2021 diff hist +1‎ Download ‎ →‎Latest Release
07:5707:57, 30 December 2021 diff hist +1‎ Download ‎ →‎Latest Release
07:5707:57, 30 December 2021 diff hist +156‎ Download ‎ →‎Latest Release
07:5207:52, 30 December 2021 diff hist +89‎ Download ‎ →‎Latest Release
07:5107:51, 30 December 2021 diff hist −1‎ Download ‎ →‎Short Release History
07:5007:50, 30 December 2021 diff hist +160‎ The ProB Animator and Model Checker ‎No edit summary
07:4907:49, 30 December 2021 diff hist +192‎ Download ‎ →‎Short Release History
07:4307:43, 30 December 2021 diff hist +2,177‎ ProB Release History ‎No edit summary

18:1818:18, 29 December 2021 diff hist 0‎ Download ‎ →‎Latest Release
18:1618:16, 29 December 2021 diff hist +87‎ Download ‎ →‎Latest Release
18:1518:15, 29 December 2021 diff hist −23‎ Download ‎ →‎Latest Release
18:1018:10, 29 December 2021 diff hist −7‎ Download ‎ →‎Latest Release
18:0918:09, 29 December 2021 diff hist +1‎ Download ‎ →‎Latest Release
18:0918:09, 29 December 2021 diff hist −65‎ Download ‎ →‎Latest Release
18:0518:05, 29 December 2021 diff hist −136‎ Download ‎ →‎Latest Release
17:4117:41, 29 December 2021 diff hist +2‎ Download ‎ →‎Latest Release
17:4017:40, 29 December 2021 diff hist +1,927‎ DownloadPriorVersions ‎ →‎Prior Versions of ProB
17:3917:39, 29 December 2021 diff hist 0‎ Download ‎ →‎Latest Release
17:3817:38, 29 December 2021 diff hist +59‎ Download ‎ →‎Latest Release

16:1216:12, 6 December 2021 diff hist +31‎ Links ‎ →‎Books
16:0616:06, 6 December 2021 diff hist −40‎ Links ‎ →‎Books
16:0516:05, 6 December 2021 diff hist −7‎ Links ‎ →‎Books

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

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

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

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

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

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

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

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

Retrieved from "https://prob.hhu.de/w/index.php?title=Special:Contributions/Michael_Leuschel"