VisB: Revision history

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 07:3507:35, 31 July 2023‎ Michael Leuschel talk contribs‎ 23,308 bytes +265‎ →‎VisB DEFINITIONS
curprev 07:3307:33, 31 July 2023‎ Michael Leuschel talk contribs‎ 23,043 bytes +82‎ →‎VisB DEFINITIONS

curprev 07:2007:20, 29 July 2023‎ Michael Leuschel talk contribs‎ 22,961 bytes +201‎ →‎Examples

curprev 17:2717:27, 13 July 2023‎ Michael Leuschel talk contribs‎ 22,760 bytes +81‎ →‎VisB DEFINITIONS
curprev 17:2317:23, 13 July 2023‎ Michael Leuschel talk contribs‎ 22,679 bytes +73‎ No edit summary

curprev 10:3810:38, 3 July 2023‎ Michael Leuschel talk contribs‎ 22,606 bytes +336‎ →‎Items and Events
curprev 10:3410:34, 3 July 2023‎ Michael Leuschel talk contribs‎ 22,270 bytes +213‎ →‎Items and Events

curprev 11:5411:54, 6 April 2023‎ Michael Leuschel talk contribs‎ 20,972 bytes +1,429‎ →‎VisB Additional SVG Objects

curprev 17:2917:29, 20 January 2023‎ Michael Leuschel talk contribs‎ 18,887 bytes +6‎ →‎Items and Events

curprev 09:0509:05, 15 January 2023‎ Michael Leuschel talk contribs‎ 17,785 bytes +172‎ No edit summary

curprev 08:5308:53, 7 February 2022‎ Michael Leuschel talk contribs‎ 15,606 bytes +11‎ →‎VisB Definitions
curprev 08:5208:52, 7 February 2022‎ Michael Leuschel talk contribs‎ 15,595 bytes +88‎ No edit summary

curprev 13:0313:03, 24 October 2021‎ Michael Leuschel talk contribs‎ 13,688 bytes +8‎ →‎Replication
curprev 13:0213:02, 24 October 2021‎ Michael Leuschel talk contribs‎ 13,680 bytes +2‎ →‎Replication
curprev 13:0113:01, 24 October 2021‎ Michael Leuschel talk contribs‎ 13,678 bytes +215‎ →‎Replication
curprev 08:4808:48, 24 October 2021‎ Michael Leuschel talk contribs‎ 13,463 bytes +488‎ →‎Replication

curprev 20:3820:38, 22 October 2021‎ Michael Leuschel talk contribs‎ 12,975 bytes +275‎ →‎VisB Attributes

curprev 11:2211:22, 18 May 2021‎ David Geleßus talk contribs‎ m 12,700 bytes −1‎ →‎VisB Definitions: Typo
curprev 11:2211:22, 18 May 2021‎ David Geleßus talk contribs‎ 12,701 bytes +262‎ Clarify that VisB is included in newer versions of ProB2-UI
curprev 11:0211:02, 18 May 2021‎ David Geleßus talk contribs‎ m 12,439 bytes −17‎ Update ProB2-UI link
curprev 10:5110:51, 18 May 2021‎ David Geleßus talk contribs‎ 12,456 bytes −45‎ Remove top-level "VisB" section - there's nothing on this page other than VisB

curprev 14:2014:20, 27 January 2021‎ Michael Leuschel talk contribs‎ 8,118 bytes +1‎ →‎Installing VisB Plugin for older ProB2UI versions

curprev 17:1117:11, 29 December 2020‎ Michael Leuschel talk contribs‎ 8,117 bytes +1‎ →‎Replication

curprev 21:2021:20, 28 December 2020‎ Michael Leuschel talk contribs‎ 8,116 bytes +50‎ →‎Replication

curprev 16:5716:57, 27 December 2020‎ Michael Leuschel talk contribs‎ 8,066 bytes +3‎ →‎Replication
curprev 16:5716:57, 27 December 2020‎ Michael Leuschel talk contribs‎ 8,063 bytes +427‎ →‎Replication
curprev 16:4916:49, 27 December 2020‎ Michael Leuschel talk contribs‎ 7,636 bytes +980‎ →‎VisB Attributes
curprev 16:4416:44, 27 December 2020‎ Michael Leuschel talk contribs‎ 6,656 bytes +140‎ →‎VisB Attributes

curprev 10:4310:43, 2 December 2020‎ Michael Leuschel talk contribs‎ 6,516 bytes +90‎ →‎VisB Attributes

curprev 16:5816:58, 27 November 2020‎ Michael Leuschel talk contribs‎ 6,426 bytes +135‎ No edit summary
curprev 16:5416:54, 27 November 2020‎ Michael Leuschel talk contribs‎ 6,291 bytes +296‎ →‎VisB Attributes

curprev 08:3508:35, 14 October 2020‎ Michael Leuschel talk contribs‎ 5,995 bytes +328‎ →‎VisB Attributes

curprev 11:1411:14, 13 October 2020‎ Michael Leuschel talk contribs‎ 5,667 bytes +1‎ →‎VisB Attributes
curprev 11:1411:14, 13 October 2020‎ Michael Leuschel talk contribs‎ 5,666 bytes +195‎ →‎VisB Attributes

9 March 2024

31 July 2023

29 July 2023

13 July 2023

3 July 2023

20 May 2023

6 April 2023

24 January 2023

20 January 2023

16 January 2023

15 January 2023

25 March 2022

7 February 2022

8 January 2022

24 October 2021

22 October 2021

18 May 2021

3 March 2021

17 February 2021

2 February 2021

27 January 2021

29 December 2020

28 December 2020

27 December 2020

2 December 2020

27 November 2020

14 October 2020

13 October 2020