External Functions: Revision history

11 May 2024

• curprev 06:3706:37, 11 May 2024‎ Jan Gruteser talk contribs‎ 7,206 bytes +83‎ →‎Standard Libraries provided by ProB

10 May 2024

• curprev 14:1414:14, 10 May 2024‎ Jan Gruteser talk contribs‎ m 7,123 bytes −1‎ →‎Standard Libraries provided by ProB
• curprev 11:4211:42, 10 May 2024‎ Jan Gruteser talk contribs‎ m 7,124 bytes +145‎ →‎Standard Libraries provided by ProB

23 February 2024

• curprev 10:0710:07, 23 February 2024‎ Michael Leuschel talk contribs‎ 6,979 bytes +93‎ →‎Standard Libraries provided by ProB

29 December 2023

• curprev 17:3017:30, 29 December 2023‎ Jan Gruteser talk contribs‎ m 6,886 bytes +1‎ →‎Standard Libraries provided by ProB

11 March 2022

• curprev 09:1809:18, 11 March 2022‎ Michael Leuschel talk contribs‎ 6,885 bytes +321‎ →‎Standard Libraries provided by ProB
• curprev 09:1509:15, 11 March 2022‎ Michael Leuschel talk contribs‎ 6,564 bytes +622‎ →‎Standard Libraries provided by ProB

18 November 2021

• curprev 13:0513:05, 18 November 2021‎ Michael Leuschel talk contribs‎ 5,942 bytes +12‎ →‎Standard Libraries provided by ProB

24 March 2021

• curprev 08:5608:56, 24 March 2021‎ Michael Leuschel talk contribs‎ 5,930 bytes +29‎ →‎Standard Libraries provided by ProB
• curprev 08:5508:55, 24 March 2021‎ Michael Leuschel talk contribs‎ 5,901 bytes +167‎ →‎Standard Libraries provided by ProB

17 February 2021

• curprev 08:4608:46, 17 February 2021‎ Michael Leuschel talk contribs‎ 5,734 bytes +2‎ →‎Standard Libraries provided by ProB

16 April 2020

• curprev 15:1115:11, 16 April 2020‎ Michael Leuschel talk contribs‎ 5,732 bytes +4‎ No edit summary

15 April 2020

• curprev 13:5313:53, 15 April 2020‎ Michael Leuschel talk contribs‎ 5,728 bytes +305‎ No edit summary

1 December 2018

• curprev 09:2609:26, 1 December 2018‎ Michael Leuschel talk contribs‎ 5,423 bytes +82‎ No edit summary
• curprev 09:2309:23, 1 December 2018‎ Michael Leuschel talk contribs‎ 5,341 bytes −14‎ No edit summary
• curprev 09:2309:23, 1 December 2018‎ Michael Leuschel talk contribs‎ 5,355 bytes +123‎ No edit summary

26 July 2016

• curprev 13:4513:45, 26 July 2016‎ Michael Leuschel talk contribs‎ 5,232 bytes +433‎ →‎Standard Libraries provided by ProB

20 February 2015

• curprev 11:0111:01, 20 February 2015‎ Bivab talk contribs‎ m 4,799 bytes −1‎ →‎Standard Libraries provided by ProB
• curprev 11:0011:00, 20 February 2015‎ Bivab talk contribs‎ 4,800 bytes +253‎ →‎Standard Libraries provided by ProB

10 April 2012

• curprev 11:5111:51, 10 April 2012‎ Michael Leuschel talk contribs‎ m 4,547 bytes 0‎ →‎Overview of the External Function DEFINITION Mechanism

2 April 2012

• curprev 09:1209:12, 2 April 2012‎ Michael Leuschel talk contribs‎ 4,547 bytes +2‎ →‎Standard Libraries provided by ProB
• curprev 09:1109:11, 2 April 2012‎ Michael Leuschel talk contribs‎ 4,545 bytes +34‎ →‎Overview of the External Function DEFINITION Mechanism
• curprev 09:0209:02, 2 April 2012‎ Michael Leuschel talk contribs‎ 4,511 bytes +129‎ →‎Standard Libraries provided by ProB
• curprev 09:0109:01, 2 April 2012‎ Michael Leuschel talk contribs‎ 4,382 bytes +66‎ →‎Overview of the External Function DEFINITION mechanism
• curprev 08:5508:55, 2 April 2012‎ Michael Leuschel talk contribs‎ 4,316 bytes +1‎ →‎Overview of the External Function DEFINITION mechanism
• curprev 08:5408:54, 2 April 2012‎ Michael Leuschel talk contribs‎ 4,315 bytes +602‎ No edit summary
• curprev 08:5008:50, 2 April 2012‎ Michael Leuschel talk contribs‎ 3,713 bytes +531‎ No edit summary
• curprev 08:4608:46, 2 April 2012‎ Michael Leuschel talk contribs‎ 3,182 bytes +364‎ No edit summary
• curprev 08:4208:42, 2 April 2012‎ Michael Leuschel talk contribs‎ 2,818 bytes +577‎ No edit summary
• curprev 07:5207:52, 2 April 2012‎ Michael Leuschel talk contribs‎ 2,241 bytes +1‎ No edit summary
• curprev 07:5207:52, 2 April 2012‎ Michael Leuschel talk contribs‎ 2,240 bytes +185‎ No edit summary
• curprev 07:3707:37, 2 April 2012‎ Michael Leuschel talk contribs‎ 2,055 bytes +445‎ No edit summary
• curprev 07:3307:33, 2 April 2012‎ Michael Leuschel talk contribs‎ 1,610 bytes +463‎ No edit summary
• curprev 07:0407:04, 2 April 2012‎ Michael Leuschel talk contribs‎ 1,147 bytes +1,147‎ Created page with ' As of version 1.3.5-beta7 ProB can make use of externally defined functions. These functions must currently be written in Prolog (in principle C, Java, Tcl or even other languag…'