User contributions for Michael Leuschel - ProB Documentation

Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Michael Leuschel

Results for Michael Leuschel talk block log uploads logs

A user with 3,302 edits. Account created on 18 January 2010.

06:5006:50, 6 October 2017 diff hist −112 ProB Logic Calculator No edit summary
06:4806:48, 6 October 2017 diff hist −6 ProB Logic Calculator No edit summary
06:4406:44, 6 October 2017 diff hist −1 ProB Logic Calculator No edit summary
06:4206:42, 6 October 2017 diff hist +1 ProB Logic Calculator No edit summary
06:3106:31, 6 October 2017 diff hist +13 Summary of B Syntax →Differences with AtelierB/B4Free
06:2806:28, 6 October 2017 diff hist +97 Summary of B Syntax →Definitions:
06:2706:27, 6 October 2017 diff hist +230 Summary of B Syntax →Comments and Pragmas
06:2606:26, 6 October 2017 diff hist −31 ProBLicence →ProB Licence
06:1506:15, 6 October 2017 diff hist 0 Download →ProB for Rodin
06:1406:14, 6 October 2017 diff hist +81 Download →Tcl/Tk on Windows
06:1306:13, 6 October 2017 diff hist +81 Download →Tcl/Tk on Mac OS/X
06:1206:12, 6 October 2017 diff hist +259 Download →Graphviz Requirements
06:1206:12, 6 October 2017 diff hist +232 Download →Nightly Build

17:4417:44, 5 October 2017 diff hist +115 The ProB Animator and Model Checker No edit summary
17:4217:42, 5 October 2017 diff hist +164 Download →Short Release History
17:3617:36, 5 October 2017 diff hist +6 Download →Latest Release
11:1811:18, 5 October 2017 diff hist +27 Download →Latest Release
10:1210:12, 5 October 2017 diff hist +81 Download →Latest Release
09:3309:33, 5 October 2017 diff hist +1,665 DownloadPriorVersions →Prior Versions of ProB

09:3809:38, 2 October 2017 diff hist −34 Tips: B Idioms No edit summary current
09:3709:37, 2 October 2017 diff hist +20 The ProB Animator and Model Checker No edit summary
09:3509:35, 2 October 2017 diff hist +1 The ProB Animator and Model Checker No edit summary
09:3509:35, 2 October 2017 diff hist +12 The ProB Animator and Model Checker No edit summary

08:3308:33, 30 September 2017 diff hist −10 The ProB Animator and Model Checker No edit summary
08:2408:24, 30 September 2017 diff hist −53 The ProB Animator and Model Checker No edit summary
08:2308:23, 30 September 2017 diff hist +3 The ProB Animator and Model Checker No edit summary
08:2208:22, 30 September 2017 diff hist +38 The ProB Animator and Model Checker No edit summary
08:1008:10, 30 September 2017 diff hist +95 The ProB Animator and Model Checker →Implementation
08:0708:07, 30 September 2017 diff hist −161 The ProB Animator and Model Checker →Features
08:0108:01, 30 September 2017 diff hist −88 The ProB Animator and Model Checker No edit summary
07:5907:59, 30 September 2017 diff hist −38 The ProB Animator and Model Checker No edit summary
07:5807:58, 30 September 2017 diff hist −402 The ProB Animator and Model Checker No edit summary
07:5707:57, 30 September 2017 diff hist +479 Team No edit summary

08:0708:07, 6 September 2017 diff hist 0 ProB2-UI →The ProB2 JavaFX Main Window
08:0708:07, 6 September 2017 diff hist +6 ProB2-UI →The ProB2 JavaFX Main Window
08:0508:05, 6 September 2017 diff hist 0 N File:ProB2JavaFX UI Overview.png No edit summary current
08:0508:05, 6 September 2017 diff hist −2 ProB2-UI →The ProB2 JavaFX Main Window
08:0408:04, 6 September 2017 diff hist +1,263 N ProB2-UI Created page with "== The ProB2 JavaFX Main Window == By default the main window is split into three vertical panes (see below). * In the left pane, the Operations view , showing the operatio..."
07:5807:58, 6 September 2017 diff hist +50 Template:User Manual Index No edit summary

14:4014:40, 26 July 2017 diff hist +5 Using ProB with KODKOD No edit summary

07:0707:07, 12 July 2017 diff hist −3 The ProB Animator and Model Checker No edit summary

13:5513:55, 11 July 2017 diff hist −26 The ProB Animator and Model Checker No edit summary
13:5413:54, 11 July 2017 diff hist −16 The ProB Animator and Model Checker No edit summary
13:5413:54, 11 July 2017 diff hist +127 The ProB Animator and Model Checker No edit summary
13:5213:52, 11 July 2017 diff hist +249 Download →Short Release History
13:5013:50, 11 July 2017 diff hist +64 ProB Release History No edit summary
13:4813:48, 11 July 2017 diff hist +1,327 ProB Release History No edit summary
13:3713:37, 11 July 2017 diff hist −3 Download →Latest Release

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