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

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