User contributions for Michael Leuschel

23 January 2022

• 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

17 January 2022

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

13 January 2022

• 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

8 January 2022

• 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

30 December 2021

• 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

29 December 2021

• 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

6 December 2021

• 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

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