Installation: Revision history

24 March 2022

• curprev 08:2108:21, 24 March 2022‎ David Geleßus talk contribs‎ m 3,977 bytes +2‎ Moved category to bottom
• curprev 08:2008:20, 24 March 2022‎ David Geleßus talk contribs‎ 3,975 bytes −1,039‎ Removed list of ProB versions that mostly just duplicates the homepage

7 July 2021

• curprev 07:5107:51, 7 July 2021‎ Michael Leuschel talk contribs‎ 5,014 bytes −213‎ No edit summary

9 July 2018

• curprev 12:4012:40, 9 July 2018‎ Michael Leuschel talk contribs‎ 5,227 bytes −295‎ →‎Installation Instruction for ProB (Standalone)
• curprev 12:3812:38, 9 July 2018‎ Michael Leuschel talk contribs‎ 5,522 bytes −44‎ →‎Checklist/Troubleshooting

16 September 2014

• curprev 15:0115:01, 16 September 2014‎ Michael Leuschel talk contribs‎ 5,566 bytes +144‎ →‎What are the available versions?
• curprev 15:0015:00, 16 September 2014‎ Michael Leuschel talk contribs‎ 5,422 bytes 0‎ →‎What are the available versions?
• curprev 15:0015:00, 16 September 2014‎ Michael Leuschel talk contribs‎ 5,422 bytes +329‎ No edit summary

23 July 2014

• curprev 11:1011:10, 23 July 2014‎ Jens Bendisposto talk contribs‎ 5,093 bytes +41‎ No edit summary
• curprev 10:4110:41, 23 July 2014‎ Michael Leuschel talk contribs‎ 5,052 bytes −2‎ No edit summary

21 May 2013

• curprev 21:3121:31, 21 May 2013‎ Michael Leuschel talk contribs‎ 5,054 bytes +155‎ →‎What are the available versions?
• curprev 05:3405:34, 21 May 2013‎ Michael Leuschel talk contribs‎ 4,899 bytes +72‎ →‎Checklist/Troubleshooting
• curprev 05:3305:33, 21 May 2013‎ Michael Leuschel talk contribs‎ 4,827 bytes −50‎ →‎What are the available versions?
• curprev 05:3305:33, 21 May 2013‎ Michael Leuschel talk contribs‎ 4,877 bytes −50‎ →‎Installation Instruction for ProB (Standalone)
• curprev 05:3205:32, 21 May 2013‎ Michael Leuschel talk contribs‎ 4,927 bytes +64‎ No edit summary
• curprev 05:3005:30, 21 May 2013‎ Michael Leuschel talk contribs‎ 4,863 bytes +1‎ →‎What are the available versions?
• curprev 05:3005:30, 21 May 2013‎ Michael Leuschel talk contribs‎ 4,862 bytes +270‎ →‎What are the available versions?

11 October 2012

• curprev 15:3215:32, 11 October 2012‎ Michael Leuschel talk contribs‎ 4,592 bytes +2‎ →‎Installation Instruction for ProB (Standalone)
• curprev 15:3215:32, 11 October 2012‎ Michael Leuschel talk contribs‎ 4,590 bytes +102‎ →‎Installation Instruction for ProB (Standalone)

18 April 2011

• curprev 11:1411:14, 18 April 2011‎ Joy Clark talk contribs‎ m 4,488 bytes 0‎ s to z

14 April 2011

• curprev 08:1408:14, 14 April 2011‎ Joy Clark talk contribs‎ m 4,488 bytes 0‎ →‎Installation Instruction for ProB (Rodin Plugin): spelling error
• curprev 08:1408:14, 14 April 2011‎ Joy Clark talk contribs‎ m 4,488 bytes −2‎ →‎Checklist/Troubleshooting: punctuation edits
• curprev 08:1108:11, 14 April 2011‎ Joy Clark talk contribs‎ m 4,490 bytes +2‎ →‎Installation Instruction for ProB (Standalone): minor edits
• curprev 08:0608:06, 14 April 2011‎ Joy Clark talk contribs‎ 4,488 bytes +1‎ →‎Which version shall I use?: changed heading
• curprev 08:0508:05, 14 April 2011‎ Joy Clark talk contribs‎ 4,487 bytes +7‎ →‎Which versions are there?: changed heading

18 February 2011

• curprev 14:4714:47, 18 February 2011‎ Jens Bendisposto talk contribs‎ 4,480 bytes +9‎ No edit summary

18 January 2010

• curprev 14:0114:01, 18 January 2010‎ Jens Bendisposto talk contribs‎ 4,471 bytes −10‎ No edit summary
• curprev 14:0114:01, 18 January 2010‎ Jens Bendisposto talk contribs‎ 4,481 bytes +9‎ No edit summary
• curprev 13:0213:02, 18 January 2010‎ Michael Leuschel talk contribs‎ 4,472 bytes +96‎ →‎Which versions are there?
• curprev 13:0113:01, 18 January 2010‎ Michael Leuschel talk contribs‎ 4,376 bytes +107‎ No edit summary
• curprev 12:4712:47, 18 January 2010‎ Michael Leuschel talk contribs‎ 4,269 bytes −12‎ →‎Checklist/Troubleshooting
• curprev 12:4612:46, 18 January 2010‎ Michael Leuschel talk contribs‎ 4,281 bytes +80‎ No edit summary
• curprev 12:3812:38, 18 January 2010‎ Jens Bendisposto talk contribs‎ m 4,201 bytes 0‎ moved User Manual:Installation to Installation
• curprev 12:1612:16, 18 January 2010‎ Michael Leuschel talk contribs‎ 4,201 bytes +2‎ No edit summary
• curprev 12:1512:15, 18 January 2010‎ Michael Leuschel talk contribs‎ 4,199 bytes +277‎ No edit summary
• curprev 12:0812:08, 18 January 2010‎ Jens Bendisposto talk contribs‎ m 3,922 bytes 0‎ moved Installation to User Manual:Installation
• curprev 12:0212:02, 18 January 2010‎ Michael Leuschel talk contribs‎ 3,922 bytes +970‎ No edit summary
• curprev 11:5411:54, 18 January 2010‎ Michael Leuschel talk contribs‎ 2,952 bytes +7‎ →‎Which version shall I use?

17 November 2009

• curprev 10:5910:59, 17 November 2009‎ Jens Bendisposto talk contribs‎ 2,945 bytes +68‎ →‎Installation Instruction for ProB (Rodin Plugin)
• curprev 10:5810:58, 17 November 2009‎ Jens Bendisposto talk contribs‎ 2,877 bytes −25‎ →‎Installation Instruction for ProB (Standalone)

16 November 2009

• curprev 16:2116:21, 16 November 2009‎ Jens Bendisposto talk contribs‎ 2,902 bytes 0‎ →‎Installation Instruction for ProB (Rodin Plugin)
• curprev 16:2116:21, 16 November 2009‎ Jens Bendisposto talk contribs‎ 2,902 bytes −1‎ →‎Installation Instruction for ProB (Rodin Plugin)
• curprev 16:2016:20, 16 November 2009‎ Jens Bendisposto talk contribs‎ 2,903 bytes +12‎ →‎Installation Instruction for ProB (Rodin Plugin)
• curprev 16:1916:19, 16 November 2009‎ Jens Bendisposto talk contribs‎ 2,891 bytes −11‎ →‎Installation Instruction for ProB (Rodin Plugin)
• curprev 16:1716:17, 16 November 2009‎ Jens Bendisposto talk contribs‎ 2,902 bytes +2‎ →‎Installation Instruction for ProB (Rodin Plugin)
• curprev 16:1616:16, 16 November 2009‎ Jens Bendisposto talk contribs‎ 2,900 bytes +14‎ →‎Installation Instruction for ProB (Rodin Plugin)
• curprev 16:1616:16, 16 November 2009‎ Jens Bendisposto talk contribs‎ 2,886 bytes +10‎ →‎Installation Instruction for ProB (Rodin Plugin)
• curprev 16:1516:15, 16 November 2009‎ Jens Bendisposto talk contribs‎ 2,876 bytes −5‎ →‎Installation Instruction for ProB (Rodin Plugin)
• curprev 16:1416:14, 16 November 2009‎ Jens Bendisposto talk contribs‎ 2,881 bytes +7‎ →‎Installation Instruction for ProB (Rodin Plugin)
• curprev 16:0816:08, 16 November 2009‎ Jens Bendisposto talk contribs‎ 2,874 bytes +22‎ →‎Installation Instruction for ProB (Rodin Plugin)