Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Michael Leuschel

For Michael Leuschel talk block log uploads logs

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
09:3909:39, 28 October 2021 diff hist −118‎ Download ‎ →‎Tcl/Tk Requirements for ProB Tcl/Tk
09:3709:37, 28 October 2021 diff hist +96‎ Download ‎ →‎Tcl/Tk on Mac OS/X
07:5007:50, 28 October 2021 diff hist +68‎ Download ‎ →‎Tcl/Tk on Mac OS/X
07:4907:49, 28 October 2021 diff hist −2‎ Download ‎ →‎Nightly Builds
07:4907:49, 28 October 2021 diff hist +76‎ Download ‎ →‎Nightly Builds

07:1707:17, 27 October 2021 diff hist +107‎ Download ‎ →‎Tcl/Tk on Mac OS/X

13:0313:03, 24 October 2021 diff hist +8‎ VisB ‎ →‎Replication
13:0213:02, 24 October 2021 diff hist +2‎ VisB ‎ →‎Replication
13:0113:01, 24 October 2021 diff hist +215‎ VisB ‎ →‎Replication
08:4808:48, 24 October 2021 diff hist +488‎ VisB ‎ →‎Replication

20:3820:38, 22 October 2021 diff hist +275‎ VisB ‎ →‎VisB Attributes

14:0214:02, 12 October 2021 diff hist +162‎ Download ‎ →‎Tcl/Tk on Mac OS/X

06:2606:26, 7 October 2021 diff hist +190‎ Download ‎ →‎ProB2-UI using Java FX

17:2717:27, 6 October 2021 diff hist +2‎ Download ‎ →‎Latest Release
17:2717:27, 6 October 2021 diff hist +2‎ Download ‎ →‎Latest Release
17:2617:26, 6 October 2021 diff hist +141‎ Download ‎ →‎Latest Release
16:0916:09, 6 October 2021 diff hist +8‎ Tutorial Troubleshooting the Setup ‎ →‎A few more tips current
16:0816:08, 6 October 2021 diff hist +481‎ Tutorial Troubleshooting the Setup ‎ →‎A few more tips
16:0016:00, 6 October 2021 diff hist −70‎ The ProB Animator and Model Checker ‎No edit summary
15:5815:58, 6 October 2021 diff hist +191‎ The ProB Animator and Model Checker ‎No edit summary
15:5715:57, 6 October 2021 diff hist +243‎ Download ‎ →‎Short Release History
15:5315:53, 6 October 2021 diff hist +2,497‎ ProB Release History ‎No edit summary
15:4215:42, 6 October 2021 diff hist 0‎ Download ‎ →‎Latest Release
11:5411:54, 6 October 2021 diff hist 0‎ Download ‎ →‎Latest Release
11:5211:52, 6 October 2021 diff hist +1,784‎ DownloadPriorVersions ‎ →‎Prior Versions of ProB

16:3916:39, 2 October 2021 diff hist +306‎ Tips for Large Specifications ‎ →‎Speeding up the Loading Process current
16:3616:36, 2 October 2021 diff hist −1‎ Tips for Large Specifications ‎ →‎Speeding up the Loading Process
16:3616:36, 2 October 2021 diff hist +10‎ Tips for Large Specifications ‎ →‎Influencing the Java Parser
16:3616:36, 2 October 2021 diff hist +57‎ Tips for Large Specifications ‎ →‎Speeding up the Loading Process
16:3516:35, 2 October 2021 diff hist +1,653‎ Tips for Large Specifications ‎No edit summary
16:2516:25, 2 October 2021 diff hist +679‎ N Tips for Large Specifications ‎ Created page with " If you have very large B machines, the following tips can be useful. Indeed, when you have very large B machines with hundreds of thousands or millions of lines of code, the..."
16:2116:21, 2 October 2021 diff hist +36‎ Tutorial ‎No edit summary current
16:1716:17, 2 October 2021 diff hist +107‎ Caching Constants and Operations ‎No edit summary

15:1915:19, 10 September 2021 diff hist +76‎ Tutorial Tuning Model Checking ‎ →‎Operation Caching (Reuse) current

08:5208:52, 6 September 2021 diff hist +997‎ Tutorial Tuning Model Checking ‎ →‎Operation Caching (Reuse)
08:4908:49, 6 September 2021 diff hist +321‎ Tutorial Tuning Model Checking ‎ →‎Operation Caching (Reuse)

09:5409:54, 24 August 2021 diff hist +20,043‎ Glossary:Advanced Preferences ‎No edit summary current

09:2309:23, 19 August 2021 diff hist +130‎ Using ProB with Atelier B ‎ →‎Limitations
09:2309:23, 19 August 2021 diff hist +130‎ Current Limitations ‎No edit summary

15:1815:18, 12 August 2021 diff hist +340‎ ProB Release History ‎No edit summary

14:5814:58, 8 July 2021 diff hist +240‎ Running ProB from source ‎ →‎ProB Prolog compile time flags
14:4014:40, 8 July 2021 diff hist +1,299‎ Running ProB from source ‎ →‎Running ProB with SWI Prolog
14:3114:31, 8 July 2021 diff hist +924‎ Running ProB from source ‎ →‎Starting ProB with SWI Prolog
14:2414:24, 8 July 2021 diff hist +268‎ Running ProB from source ‎ →‎Starting ProB with SWI Prolog
11:5011:50, 8 July 2021 diff hist +551‎ Running ProB from source ‎ →‎Compiling SWI Prolog
11:4811:48, 8 July 2021 diff hist +566‎ Running ProB from source ‎No edit summary

07:5107:51, 7 July 2021 diff hist −213‎ Installation ‎No edit summary

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