User contributions for Michael Leuschel

27 January 2021

• 14:0314:03, 27 January 2021 diff hist +91‎ Download ‎ →‎ProB2 UI using Java FX
• 14:0214:02, 27 January 2021 diff hist +92‎ ProB2-UI ‎No edit summary
• 14:0114:01, 27 January 2021 diff hist +85‎ ProB2-UI ‎No edit summary
• 14:0014:00, 27 January 2021 diff hist +20‎ ProB2-UI Release History ‎ →‎Version 1.0.0
• 13:5713:57, 27 January 2021 diff hist 0‎ ProB2-UI Release History ‎No edit summary
• 13:5613:56, 27 January 2021 diff hist +9‎ ProB2-UI ‎No edit summary
• 13:5413:54, 27 January 2021 diff hist +37‎ N ReleaseHistory ‎ Michael Leuschel moved page ReleaseHistory to ProB2UI Release History: missing ProB2UI current Tag: New redirect
• 13:5413:54, 27 January 2021 diff hist 0‎ m ProB2-UI Release History ‎ Michael Leuschel moved page ReleaseHistory to ProB2UI Release History: missing ProB2UI
• 13:5213:52, 27 January 2021 diff hist −2‎ ProB2-UI Release History ‎No edit summary
• 13:5213:52, 27 January 2021 diff hist −4‎ ProB2-UI Release History ‎No edit summary
• 13:5213:52, 27 January 2021 diff hist +201‎ ProB2-UI Release History ‎No edit summary
• 13:5013:50, 27 January 2021 diff hist −3‎ ProB2-UI Release History ‎ →‎Version 1.1.0 (26th of January 2021)
• 13:5013:50, 27 January 2021 diff hist +4‎ ProB2-UI Release History ‎No edit summary
• 13:4913:49, 27 January 2021 diff hist +1,341‎ N ProB2-UI Release History ‎ Created page with " ## Version 1.1.0 (26th of January 2021) ## - now contains VisB directly in the application, VisB has been extended considerably now supporting hovers, more attributes,..."
• 13:4813:48, 27 January 2021 diff hist +49‎ ProB2-UI ‎No edit summary
• 13:1313:13, 27 January 2021 diff hist −1‎ Links ‎ →‎Related Tools
• 13:1213:12, 27 January 2021 diff hist −1‎ Links ‎ →‎Related Tools
• 13:1213:12, 27 January 2021 diff hist +20‎ Links ‎ →‎Related Tools

26 January 2021

• 18:1218:12, 26 January 2021 diff hist +107‎ Bugs ‎No edit summary
• 16:0516:05, 26 January 2021 diff hist +24‎ Download ‎ →‎ProB2 UI using Java FX
• 14:5114:51, 26 January 2021 diff hist +2‎ Download ‎ →‎ProB2 UI using Java FX
• 14:3214:32, 26 January 2021 diff hist +106‎ Download ‎ →‎ProB2 UI using Java FX
• 14:2814:28, 26 January 2021 diff hist −26‎ Download ‎ →‎ProB2 UI using Java FX
• 13:5713:57, 26 January 2021 diff hist −37‎ Links ‎No edit summary
• 13:5513:55, 26 January 2021 diff hist −8‎ Download ‎ →‎Sourcecode
• 13:5013:50, 26 January 2021 diff hist +16‎ Bugs ‎No edit summary
• 13:4613:46, 26 January 2021 diff hist −75‎ User Manual ‎No edit summary
• 13:4413:44, 26 January 2021 diff hist −37‎ TLA ‎No edit summary
• 11:5211:52, 26 January 2021 diff hist −124‎ Download ‎ →‎ProB2 UI using Java FX
• 11:1811:18, 26 January 2021 diff hist +24‎ ProB2-UI ‎No edit summary
• 11:1711:17, 26 January 2021 diff hist −33‎ ProB2-UI ‎No edit summary
• 11:1511:15, 26 January 2021 diff hist +149‎ ProB2-UI ‎No edit summary
• 11:0611:06, 26 January 2021 diff hist −1‎ Download ‎ →‎ProB2 UI using Java FX
• 11:0611:06, 26 January 2021 diff hist −3‎ Download ‎ →‎ProB2 UI using Java FX
• 11:0511:05, 26 January 2021 diff hist 0‎ Download ‎ →‎ProB2 UI using Java FX
• 11:0411:04, 26 January 2021 diff hist +2‎ Download ‎ →‎ProB2 UI using Java FX
• 11:0411:04, 26 January 2021 diff hist +1‎ Download ‎ →‎ProB2 UI using Java FX
• 09:2009:20, 26 January 2021 diff hist −149‎ Download ‎ →‎ProB2 UI using Java FX
• 09:1909:19, 26 January 2021 diff hist −4‎ Download ‎ →‎ProB2 UI using Java FX
• 09:1909:19, 26 January 2021 diff hist −3‎ Download ‎ →‎ProB2 UI using Java FX
• 09:1709:17, 26 January 2021 diff hist −1‎ Download ‎ →‎ProB2 UI using Java FX
• 09:1609:16, 26 January 2021 diff hist +21‎ Download ‎ →‎ProB2 UI using Java FX
• 09:1609:16, 26 January 2021 diff hist −455‎ Download ‎ →‎ProB2 UI using Java FX
• 09:1109:11, 26 January 2021 diff hist +2‎ Download ‎ →‎ProB2 UI using Java FX

22 January 2021

• 10:1210:12, 22 January 2021 diff hist −6‎ Download ‎ →‎Latest Release
• 10:1210:12, 22 January 2021 diff hist +1‎ Download ‎ →‎Latest Release
• 10:1110:11, 22 January 2021 diff hist −6‎ Download ‎ →‎Latest Release
• 10:1010:10, 22 January 2021 diff hist +38‎ Download ‎ →‎Latest Release
• 10:0810:08, 22 January 2021 diff hist +1,827‎ DownloadPriorVersions ‎No edit summary

13 January 2021

• 10:3710:37, 13 January 2021 diff hist +779‎ Running ProB from source ‎ →‎ProB Prolog compile time flags