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

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