Navigation
Special Pages
- Recent changes

User
- Log in

The ProB Animator and Model Checker: Revision history

View logs for this page

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

curprev 13:0913:09, 9 July 2019‎ Michael Leuschel talk contribs‎ 5,477 bytes −15‎ No edit summary

curprev 07:4607:46, 2 October 2018‎ Michael Leuschel talk contribs‎ 5,492 bytes +10‎ No edit summary

curprev 15:1815:18, 1 October 2018‎ Michael Leuschel talk contribs‎ 5,482 bytes −72‎ No edit summary
curprev 15:1715:17, 1 October 2018‎ Michael Leuschel talk contribs‎ 5,554 bytes −1‎ No edit summary
curprev 15:1615:16, 1 October 2018‎ Michael Leuschel talk contribs‎ 5,555 bytes +219‎ No edit summary

curprev 06:3106:31, 29 September 2018‎ Michael Leuschel talk contribs‎ 5,336 bytes +89‎ No edit summary

curprev 15:0815:08, 19 September 2018‎ Michael Leuschel talk contribs‎ 5,247 bytes +203‎ No edit summary

curprev 12:5212:52, 6 June 2018‎ Michael Leuschel talk contribs‎ 5,044 bytes +151‎ No edit summary

curprev 19:2519:25, 20 March 2018‎ Michael Leuschel talk contribs‎ 4,893 bytes −24‎ No edit summary
curprev 15:2015:20, 20 March 2018‎ Michael Leuschel talk contribs‎ 4,917 bytes −112‎ No edit summary
curprev 15:1815:18, 20 March 2018‎ Michael Leuschel talk contribs‎ 5,029 bytes +203‎ No edit summary

curprev 17:4417:44, 5 October 2017‎ Michael Leuschel talk contribs‎ 4,826 bytes +115‎ No edit summary

curprev 09:3709:37, 2 October 2017‎ Michael Leuschel talk contribs‎ 4,711 bytes +20‎ No edit summary
curprev 09:3509:35, 2 October 2017‎ Michael Leuschel talk contribs‎ 4,691 bytes +1‎ No edit summary
curprev 09:3509:35, 2 October 2017‎ Michael Leuschel talk contribs‎ 4,690 bytes +12‎ No edit summary

curprev 07:0707:07, 12 July 2017‎ Michael Leuschel talk contribs‎ 5,294 bytes −3‎ No edit summary

curprev 13:5513:55, 11 July 2017‎ Michael Leuschel talk contribs‎ 5,297 bytes −26‎ No edit summary
curprev 13:5413:54, 11 July 2017‎ Michael Leuschel talk contribs‎ 5,323 bytes −16‎ No edit summary
curprev 13:5413:54, 11 July 2017‎ Michael Leuschel talk contribs‎ 5,339 bytes +127‎ No edit summary

curprev 12:2112:21, 20 October 2016‎ Michael Leuschel talk contribs‎ 5,212 bytes +249‎ No edit summary

curprev 11:2511:25, 1 June 2016‎ Michael Leuschel talk contribs‎ 4,963 bytes 0‎ No edit summary

curprev 15:5315:53, 22 February 2016‎ Ivaylo Dobrikov talk contribs‎ 4,241 bytes +24‎ →‎Features

curprev 11:2111:21, 15 October 2015‎ Yumiko Takahashi talk contribs‎ 4,217 bytes −3‎ →‎Implementation
curprev 11:2111:21, 15 October 2015‎ Yumiko Takahashi talk contribs‎ 4,220 bytes +3‎ →‎Implementation
curprev 11:1711:17, 15 October 2015‎ Jens Bendisposto talk contribs‎ 4,217 bytes −1‎ →‎Implementation
curprev 11:1611:16, 15 October 2015‎ 134.99.112.66 talk‎ 4,218 bytes +1‎ →‎Implementation

curprev 15:1015:10, 31 August 2015‎ Michael Leuschel talk contribs‎ 4,217 bytes +25‎ No edit summary

curprev 12:3712:37, 19 February 2015‎ Sebastian Krings talk contribs‎ 4,192 bytes −216‎ No edit summary

curprev 12:1212:12, 30 October 2014‎ Lukas Ladenberger talk contribs‎ 4,408 bytes +42‎ No edit summary

curprev 07:4607:46, 27 August 2014‎ Michael Leuschel talk contribs‎ 4,366 bytes +110‎ No edit summary

curprev 08:2508:25, 22 August 2014‎ Michael Leuschel talk contribs‎ 4,256 bytes +43‎ No edit summary

curprev 13:3513:35, 18 August 2014‎ Sebastian Krings talk contribs‎ 4,213 bytes −289‎ release prob 1.4.0

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