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 10:0510:05, 23 February 2024‎ Michael Leuschel talk contribs‎ 8,593 bytes +38‎ No edit summary
curprev 10:0410:04, 23 February 2024‎ Michael Leuschel talk contribs‎ 8,555 bytes +207‎ No edit summary

curprev 16:5516:55, 14 August 2023‎ David Geleßus talk contribs‎ m 8,348 bytes +11‎ No edit summary

curprev 06:4906:49, 11 August 2023‎ Michael Leuschel talk contribs‎ 8,337 bytes +104‎ No edit summary

curprev 16:0016:00, 14 December 2022‎ Michael Leuschel talk contribs‎ 8,335 bytes +170‎ No edit summary
curprev 15:5815:58, 14 December 2022‎ Michael Leuschel talk contribs‎ 8,165 bytes +160‎ No edit summary

curprev 07:5007:50, 30 December 2021‎ Michael Leuschel talk contribs‎ 7,312 bytes +160‎ No edit summary

curprev 16:0016:00, 6 October 2021‎ Michael Leuschel talk contribs‎ 7,152 bytes −70‎ No edit summary
curprev 15:5815:58, 6 October 2021‎ Michael Leuschel talk contribs‎ 7,222 bytes +191‎ No edit summary

curprev 10:5310:53, 18 May 2021‎ David Geleßus talk contribs‎ m 7,031 bytes −7‎ Update ProB2-UI link

curprev 15:1115:11, 4 February 2021‎ Michael Leuschel talk contribs‎ 7,038 bytes 0‎ No edit summary

curprev 09:4209:42, 2 February 2021‎ Michael Leuschel talk contribs‎ 7,038 bytes +30‎ No edit summary
curprev 09:4009:40, 2 February 2021‎ Michael Leuschel talk contribs‎ 7,008 bytes −2‎ No edit summary
curprev 09:4009:40, 2 February 2021‎ Michael Leuschel talk contribs‎ 7,010 bytes +33‎ No edit summary
curprev 09:2309:23, 2 February 2021‎ Michael Leuschel talk contribs‎ 6,977 bytes +106‎ No edit summary

curprev 14:2914:29, 27 January 2021‎ Michael Leuschel talk contribs‎ 6,871 bytes +21‎ →‎Versions of ProB
curprev 14:2814:28, 27 January 2021‎ Michael Leuschel talk contribs‎ 6,850 bytes +11‎ →‎Versions of ProB

curprev 08:5608:56, 5 January 2021‎ Michael Leuschel talk contribs‎ 6,839 bytes +26‎ No edit summary
curprev 08:5608:56, 5 January 2021‎ Michael Leuschel talk contribs‎ 6,813 bytes +28‎ No edit summary

curprev 12:5612:56, 16 December 2020‎ Michael Leuschel talk contribs‎ 6,785 bytes −43‎ →‎Features
curprev 12:0812:08, 16 December 2020‎ Michael Leuschel talk contribs‎ 6,828 bytes +127‎ No edit summary

curprev 12:4612:46, 9 June 2020‎ Michael Leuschel talk contribs‎ 7,425 bytes 0‎ →‎Implementation
curprev 11:5411:54, 9 June 2020‎ Michael Leuschel talk contribs‎ 7,425 bytes +37‎ →‎Implementation

curprev 15:1015:10, 16 April 2020‎ Michael Leuschel talk contribs‎ 7,388 bytes +4‎ No edit summary
curprev 15:0715:07, 16 April 2020‎ Michael Leuschel talk contribs‎ 7,384 bytes +4‎ No edit summary

curprev 14:2314:23, 5 March 2020‎ Michael Leuschel talk contribs‎ 7,380 bytes +78‎ →‎Versions of ProB
curprev 09:1009:10, 5 March 2020‎ Michael Leuschel talk contribs‎ 7,302 bytes +21‎ No edit summary
curprev 09:0809:08, 5 March 2020‎ Michael Leuschel talk contribs‎ 7,281 bytes +1‎ →‎Versions of ProB
curprev 09:0709:07, 5 March 2020‎ Michael Leuschel talk contribs‎ 7,280 bytes −1‎ →‎Versions of ProB

curprev 16:0916:09, 19 February 2020‎ Michael Leuschel talk contribs‎ 7,281 bytes +86‎ No edit summary
curprev 14:4314:43, 19 February 2020‎ Michael Leuschel talk contribs‎ 7,195 bytes +55‎ No edit summary

curprev 15:2115:21, 7 February 2020‎ Michael Leuschel talk contribs‎ 7,140 bytes +86‎ No edit summary

curprev 19:1419:14, 11 November 2019‎ Michael Leuschel talk contribs‎ 7,054 bytes +1‎ No edit summary
curprev 19:1419:14, 11 November 2019‎ Michael Leuschel talk contribs‎ 7,053 bytes 0‎ No edit summary

curprev 11:3511:35, 8 November 2019‎ Michael Leuschel talk contribs‎ 7,053 bytes +55‎ No edit summary

curprev 10:2910:29, 12 July 2019‎ Michael Leuschel talk contribs‎ 5,550 bytes −6‎ No edit summary
curprev 10:2810:28, 12 July 2019‎ Michael Leuschel talk contribs‎ 5,556 bytes −25‎ No edit summary
curprev 10:2810:28, 12 July 2019‎ Michael Leuschel talk contribs‎ 5,581 bytes +160‎ No edit summary

curprev 13:1113:11, 9 July 2019‎ Michael Leuschel talk contribs‎ 5,421 bytes −20‎ No edit summary
curprev 13:1113:11, 9 July 2019‎ Michael Leuschel talk contribs‎ 5,441 bytes −8‎ No edit summary
curprev 13:1013:10, 9 July 2019‎ Michael Leuschel talk contribs‎ 5,449 bytes −28‎ No edit summary
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

curprev 20:0020:00, 3 June 2014‎ Daniel Plagge talk contribs‎ 4,502 bytes +53‎ Added link to theory page in news

curprev 10:5010:50, 18 November 2013‎ Michael Leuschel talk contribs‎ 5,036 bytes −65‎ No edit summary

curprev 07:0407:04, 6 June 2013‎ Michael Leuschel talk contribs‎ 5,101 bytes +42‎ No edit summary

curprev 08:0908:09, 4 June 2013‎ Michael Leuschel talk contribs‎ 5,059 bytes +7‎ No edit summary
curprev 08:0808:08, 4 June 2013‎ Michael Leuschel talk contribs‎ 5,052 bytes +51‎ No edit summary

curprev 13:0113:01, 3 June 2013‎ Michael Leuschel talk contribs‎ 5,001 bytes +21‎ →‎Features
curprev 13:0013:00, 3 June 2013‎ Michael Leuschel talk contribs‎ 4,980 bytes +56‎ →‎Features
curprev 12:5612:56, 3 June 2013‎ Michael Leuschel talk contribs‎ 4,924 bytes +91‎ →‎Features

curprev 09:5109:51, 6 March 2013‎ Michael Leuschel talk contribs‎ 4,833 bytes +246‎ No edit summary

curprev 05:1405:14, 11 October 2012‎ Michael Leuschel talk contribs‎ 4,587 bytes +13‎ No edit summary

curprev 15:3515:35, 8 October 2012‎ Michael Leuschel talk contribs‎ 4,574 bytes +206‎ No edit summary

curprev 13:1813:18, 30 March 2012‎ Michael Leuschel talk contribs‎ 4,368 bytes 0‎ No edit summary
curprev 13:1813:18, 30 March 2012‎ Michael Leuschel talk contribs‎ 4,368 bytes +1‎ No edit summary
curprev 13:1813:18, 30 March 2012‎ Michael Leuschel talk contribs‎ 4,367 bytes +186‎ No edit summary
curprev 12:0412:04, 30 March 2012‎ Michael Leuschel talk contribs‎ 4,181 bytes +54‎ No edit summary

curprev 14:3414:34, 15 December 2011‎ Michael Leuschel talk contribs‎ 4,127 bytes +123‎ No edit summary
curprev 14:3314:33, 15 December 2011‎ Michael Leuschel talk contribs‎ 4,004 bytes +134‎ No edit summary

curprev 13:1813:18, 21 November 2011‎ Michael Leuschel talk contribs‎ 3,870 bytes +204‎ No edit summary

curprev 08:5808:58, 2 November 2011‎ Jens Bendisposto talk contribs‎ 3,666 bytes 0‎ No edit summary
curprev 08:3508:35, 2 November 2011‎ Jens Bendisposto talk contribs‎ 3,666 bytes 0‎ No edit summary

curprev 11:1311:13, 18 April 2011‎ Joy Clark talk contribs‎ m 3,666 bytes +1‎ s to z

curprev 14:3314:33, 30 July 2010‎ Michael Leuschel talk contribs‎ 2,989 bytes +184‎ No edit summary

curprev 13:4013:40, 8 July 2010‎ Michael Leuschel talk contribs‎ 2,805 bytes +40‎ No edit summary
curprev 13:3913:39, 8 July 2010‎ Michael Leuschel talk contribs‎ 2,765 bytes +6‎ No edit summary
curprev 13:3913:39, 8 July 2010‎ Michael Leuschel talk contribs‎ 2,759 bytes −6‎ No edit summary

curprev 11:1311:13, 15 June 2010‎ Michael Leuschel talk contribs‎ 2,765 bytes +53‎ No edit summary

curprev 10:0210:02, 11 February 2010‎ Michael Leuschel talk contribs‎ 2,712 bytes +225‎ No edit summary

curprev 18:2218:22, 5 November 2009‎ Jens Bendisposto talk contribs‎ m 701 bytes 0‎ moved Main Page to The ProB Animator and Model Checker
curprev 18:1618:16, 5 November 2009‎ Jens Bendisposto talk contribs‎ 701 bytes −1‎ No edit summary
curprev 18:1618:16, 5 November 2009‎ Jens Bendisposto talk contribs‎ 702 bytes +253‎ No edit summary
curprev 11:5211:52, 5 November 2009‎ MediaWiki default talk‎ 449 bytes +449‎ No edit summary

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