Getting Involved: Revision history

13 January 2021

• curprev 08:5408:54, 13 January 2021‎ Michael Leuschel talk contribs‎ 38 bytes −4,342‎ Redirected page to Running ProB from source
• curprev 08:5008:50, 13 January 2021‎ Michael Leuschel talk contribs‎ 4,380 bytes −113‎ No edit summary

20 June 2018

• curprev 09:4409:44, 20 June 2018‎ Jens Bendisposto talk contribs‎ 4,493 bytes −181‎ No edit summary

28 September 2016

• curprev 11:1311:13, 28 September 2016‎ Michael Leuschel talk contribs‎ 4,674 bytes −5‎ →‎The Prolog Sources

26 July 2015

• curprev 15:0615:06, 26 July 2015‎ Michael Leuschel talk contribs‎ 4,679 bytes −10‎ →‎Running ProB from Prolog

12 July 2014

• curprev 14:5814:58, 12 July 2014‎ Michael Leuschel talk contribs‎ 4,689 bytes +334‎ →‎Running the Prolog Tests
• curprev 14:5414:54, 12 July 2014‎ Michael Leuschel talk contribs‎ 4,355 bytes +1,504‎ No edit summary
• curprev 14:4014:40, 12 July 2014‎ Michael Leuschel talk contribs‎ 2,851 bytes +91‎ →‎Running ProB from Prolog
• curprev 14:3914:39, 12 July 2014‎ Michael Leuschel talk contribs‎ 2,760 bytes +45‎ →‎Running ProB from Prolog

28 May 2014

• curprev 09:5909:59, 28 May 2014‎ Michael Leuschel talk contribs‎ 2,715 bytes +594‎ →‎Running ProB from Prolog
• curprev 09:0809:08, 28 May 2014‎ Michael Leuschel talk contribs‎ 2,121 bytes +44‎ No edit summary
• curprev 08:3108:31, 28 May 2014‎ Michael Leuschel talk contribs‎ 2,077 bytes +210‎ →‎Running ProB from Prolog
• curprev 08:2908:29, 28 May 2014‎ Michael Leuschel talk contribs‎ 1,867 bytes +424‎ →‎Running ProB from Prolog
• curprev 08:2508:25, 28 May 2014‎ Michael Leuschel talk contribs‎ 1,443 bytes +873‎ No edit summary

23 November 2012

• curprev 13:4613:46, 23 November 2012‎ Michael Leuschel talk contribs‎ 570 bytes +34‎ No edit summary
• curprev 13:4613:46, 23 November 2012‎ Michael Leuschel talk contribs‎ 536 bytes +103‎ →‎The Prolog Sources
• curprev 13:4513:45, 23 November 2012‎ Michael Leuschel talk contribs‎ 433 bytes +315‎ No edit summary

4 October 2012

• curprev 15:3815:38, 4 October 2012‎ Jens Bendisposto talk contribs‎ 118 bytes −2,890‎ Replaced content with 'Category:Developer Manual __NOTOC__ see the README in our [https://github.com/bendisposto/prob Github Repository]'

18 May 2012

• curprev 07:3807:38, 18 May 2012‎ Jens Bendisposto talk contribs‎ 3,008 bytes +328‎ →‎Setup target platform

16 May 2012

• curprev 18:1418:14, 16 May 2012‎ Jens Bendisposto talk contribs‎ 2,680 bytes +4‎ →‎The Parser Library