Navigation
Special Pages
- Recent changes

User
- Log in

Developer Manual: 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 17:0317:03, 4 February 2022‎ Michael Leuschel talk contribs‎ 699 bytes +123‎ No edit summary

curprev 17:2717:27, 27 January 2021‎ Michael Leuschel talk contribs‎ 576 bytes +2‎ →‎ProB Java API (aka ProB 2.0)
curprev 17:2717:27, 27 January 2021‎ Michael Leuschel talk contribs‎ 574 bytes +56‎ →‎ProB Java API (aka ProB 2.0)

curprev 07:4707:47, 15 December 2020‎ Michael Leuschel talk contribs‎ 772 bytes −88‎ →‎ProB Prolog Source Code

curprev 14:5614:56, 3 July 2020‎ Michael Leuschel talk contribs‎ 860 bytes +14‎ No edit summary
curprev 14:5514:55, 3 July 2020‎ Michael Leuschel talk contribs‎ 846 bytes 0‎ No edit summary

curprev 15:1915:19, 12 February 2019‎ Bivab talk contribs‎ m 846 bytes −2‎ Update parser url

curprev 07:5107:51, 22 October 2018‎ Michael Leuschel talk contribs‎ 848 bytes −2‎ No edit summary
curprev 07:5007:50, 22 October 2018‎ Michael Leuschel talk contribs‎ 850 bytes +143‎ No edit summary

curprev 11:4211:42, 12 January 2018‎ Michael Leuschel talk contribs‎ 707 bytes +34‎ →‎ProB Prolog Source Code
curprev 09:5209:52, 12 January 2018‎ Michael Leuschel talk contribs‎ 673 bytes +30‎ →‎ProB Prolog Source Code

curprev 07:5307:53, 27 June 2016‎ Michael Leuschel talk contribs‎ 643 bytes +85‎ No edit summary

curprev 12:3812:38, 19 January 2015‎ Michael Leuschel talk contribs‎ 558 bytes +161‎ No edit summary
curprev 12:3612:36, 19 January 2015‎ Michael Leuschel talk contribs‎ 397 bytes +117‎ No edit summary

curprev 14:3114:31, 30 October 2014‎ Lukas Ladenberger talk contribs‎ 280 bytes −612‎ No edit summary

curprev 06:0806:08, 13 July 2014‎ Michael Leuschel talk contribs‎ 892 bytes +124‎ No edit summary

curprev 08:3608:36, 11 November 2013‎ Michael Leuschel talk contribs‎ 768 bytes +61‎ →‎ProB 2.0

curprev 11:0611:06, 24 March 2013‎ Jens Bendisposto talk contribs‎ 640 bytes −94‎ →‎Git Migration

curprev 11:0911:09, 5 February 2013‎ Sebastian Krings talk contribs‎ 734 bytes +94‎ No edit summary

curprev 14:3014:30, 1 February 2013‎ Jens Bendisposto talk contribs‎ 640 bytes +83‎ →‎ProB 2.0
curprev 10:2710:27, 1 February 2013‎ Jens Bendisposto talk contribs‎ 557 bytes +69‎ No edit summary

curprev 09:5709:57, 29 January 2013‎ Jens Bendisposto talk contribs‎ 488 bytes +1‎ No edit summary
curprev 09:5709:57, 29 January 2013‎ Jens Bendisposto talk contribs‎ 487 bytes +22‎ No edit summary

curprev 12:2612:26, 28 November 2012‎ Joy Clark talk contribs‎ 465 bytes +26‎ No edit summary

curprev 10:5910:59, 30 March 2012‎ Jens Bendisposto talk contribs‎ 439 bytes −49‎ No edit summary
curprev 10:5910:59, 30 March 2012‎ Jens Bendisposto talk contribs‎ 488 bytes −4‎ No edit summary
curprev 10:0410:04, 30 March 2012‎ Jens Bendisposto talk contribs‎ 492 bytes +53‎ No edit summary

curprev 06:1506:15, 25 February 2012‎ Jens Bendisposto talk contribs‎ 156 bytes +88‎ No edit summary

curprev 11:1611:16, 17 November 2011‎ Michael Leuschel talk contribs‎ 68 bytes +29‎ No edit summary

curprev 12:2012:20, 20 April 2011‎ Jens Bendisposto talk contribs‎ 39 bytes −18‎ No edit summary

curprev 09:4709:47, 29 December 2010‎ Jens Bendisposto talk contribs‎ 57 bytes +19‎ No edit summary

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