User contributions for Jens Bendisposto

13 February 2020

• 12:4712:47, 13 February 2020 diff hist +1‎ ProB Logic Calculator ‎No edit summary
• 12:4712:47, 13 February 2020 diff hist −1‎ ProB Logic Calculator ‎No edit summary
• 12:4612:46, 13 February 2020 diff hist −132‎ ProB Logic Calculator ‎No edit summary

19 July 2018

• 12:2412:24, 19 July 2018 diff hist +26‎ Main Page/ ‎ Redirected page to The ProB Animator and Model Checker current
• 12:2312:23, 19 July 2018 diff hist +23‎ N Main Page/ ‎ Redirected page to Main Page

20 June 2018

• 09:4409:44, 20 June 2018 diff hist −181‎ Getting Involved ‎No edit summary

14 February 2018

• 18:3118:31, 14 February 2018 diff hist −5‎ ProB Java API ‎ →‎Documentation

13 February 2018

• 02:5202:52, 13 February 2018 diff hist −22‎ ProB Java API ‎ →‎Documentation

7 February 2018

• 12:5912:59, 7 February 2018 diff hist +12‎ Bugs ‎No edit summary
• 12:4812:48, 7 February 2018 diff hist −75‎ Bugs ‎No edit summary
• 12:4612:46, 7 February 2018 diff hist +44‎ Bugs ‎No edit summary
• 12:4412:44, 7 February 2018 diff hist +153‎ Bugs ‎No edit summary
• 12:4112:41, 7 February 2018 diff hist +13‎ Bugs ‎No edit summary
• 12:3912:39, 7 February 2018 diff hist +644‎ Bugs ‎No edit summary
• 12:3912:39, 7 February 2018 diff hist +21‎ Bugs ‎No edit summary

6 October 2017

• 07:5307:53, 6 October 2017 diff hist +4‎ ProB Logic Calculator ‎No edit summary

4 October 2017

• 15:2215:22, 4 October 2017 diff hist −1‎ ProB Logic Calculator ‎No edit summary
• 15:2115:21, 4 October 2017 diff hist −12‎ ProB Logic Calculator ‎No edit summary

30 September 2016

• 08:0908:09, 30 September 2016 diff hist −83‎ ProB Java API ‎ →‎Additional Material

29 July 2016

• 12:4612:46, 29 July 2016 diff hist +24‎ Bugs ‎No edit summary