Tutorial Rodin Parameters: Revision history

24 September 2019

• curprev 12:3112:31, 24 September 2019‎ Michael Leuschel talk contribs‎ 3,402 bytes +150‎ →‎Size of unspecified sets (carrier sets)

23 September 2019

• curprev 06:2806:28, 23 September 2019‎ Michael Leuschel talk contribs‎ 3,252 bytes +402‎ →‎Size of unspecified sets (carrier sets)

7 February 2018

• curprev 12:0512:05, 7 February 2018‎ Michael Leuschel talk contribs‎ 2,850 bytes +42‎ →‎Size of unspecified sets (carrier sets)

26 March 2014

• curprev 09:5109:51, 26 March 2014‎ Michael Leuschel talk contribs‎ 2,808 bytes +201‎ →‎Size of unspecified sets (carrier sets)
• curprev 09:5009:50, 26 March 2014‎ Michael Leuschel talk contribs‎ 2,607 bytes +453‎ No edit summary

18 April 2011

• curprev 12:4712:47, 18 April 2011‎ Joy Clark talk contribs‎ m 2,154 bytes +9‎ grammar and punctuation

29 July 2010

• curprev 05:3105:31, 29 July 2010‎ Michael Leuschel talk contribs‎ 2,145 bytes +378‎ →‎Size of unspecified sets
• curprev 05:2005:20, 29 July 2010‎ Michael Leuschel talk contribs‎ 1,767 bytes −7‎ →‎Preferences
• curprev 05:2005:20, 29 July 2010‎ Michael Leuschel talk contribs‎ 1,774 bytes +358‎ No edit summary

28 July 2010

• curprev 11:2011:20, 28 July 2010‎ Michael Leuschel talk contribs‎ 1,416 bytes −1‎ →‎Size of unspecified sets
• curprev 11:1911:19, 28 July 2010‎ Michael Leuschel talk contribs‎ 1,417 bytes +1,417‎ Created page with 'Category:User Manual == Preferences == You can modify the ProB preferences by selecting the ProB pane inside the Rodin preferences. We explain the most important preferenc…'