This special page shows all uploaded files.
Date | Name | Thumbnail | Size | Description | Versions |
---|---|---|---|---|---|
15:16, 10 August 2015 | ProB BusesAfterLoad.png (file) | 81 KB | 2 | ||
11:44, 22 June 2015 | ProB NinePrisoners Fancy.png (file) | 126 KB | 1 | ||
11:44, 22 June 2015 | ProB NinePrisoners Simple.png (file) | 228 KB | 1 | ||
10:27, 17 April 2015 | ProB Phonebook7 spdot mixed2.png (file) | 166 KB | 1 | ||
10:27, 17 April 2015 | ProB Phonebook7 spdot mixed1.png (file) | 195 KB | 1 | ||
10:26, 17 April 2015 | ProB Phonebook7 spdot random2.png (file) | 174 KB | 1 | ||
10:26, 17 April 2015 | ProB Phonebook7 spdot random1.png (file) | 207 KB | 1 | ||
10:26, 17 April 2015 | ProB Phonebook7 spdot hash.png (file) | 190 KB | 1 | ||
10:26, 17 April 2015 | ProB Phonebook7 spdot dlk.png (file) | 192 KB | 1 | ||
10:24, 17 April 2015 | ProB Phonebook7 spdot df.png (file) | 154 KB | 1 | ||
10:22, 17 April 2015 | ProB Phonebook7 spdot bf.png (file) | 194 KB | 1 | ||
12:07, 16 April 2015 | ProB BlockGoal Screenshot.png (file) | 133 KB | 1 | ||
12:07, 16 April 2015 | ProB MC Heuristic.png (file) | 34 KB | 1 | ||
08:20, 16 April 2015 | ProB BlockInit Screenshot.png (file) | 133 KB | 1 | ||
07:47, 16 April 2015 | ProB Cheryl Screenshot.png (file) | 106 KB | 1 | ||
14:14, 19 February 2015 | RodinInstallNewSoftware.png (file) | 44 KB | 3 | ||
14:10, 19 February 2015 | ProBRodinUpdateDialog.png (file) | 61 KB | 1 | ||
16:55, 11 February 2015 | CBCMBTTreeResult.png (file) | 43 KB | 1 | ||
16:55, 11 February 2015 | CBCMBTResult.png (file) | 34 KB | 1 | ||
16:55, 11 February 2015 | CBCMBTDialog.png (file) | 36 KB | 1 | ||
16:55, 11 February 2015 | CBCMBTMenu.png (file) | 48 KB | 1 | ||
16:49, 11 February 2015 | FindSequenceResult.png (file) | 10 KB | 1 | ||
16:48, 11 February 2015 | FindSequenceDialog.png (file) | 18 KB | 1 | ||
16:48, 11 February 2015 | FindSequenceMenu.png (file) | 72 KB | 1 | ||
16:40, 11 February 2015 | ProB Lift Randomise.png (file) | 98 KB | 1 | ||
16:32, 15 January 2015 | BMC Counter Wrong.png (file) | 28 KB | 1 | ||
15:51, 28 October 2014 | AllOpsCoveredDialog.png (file) | 16 KB | 1 | ||
15:50, 28 October 2014 | StopWhenAllOpsCovered.png (file) | 22 KB | 1 | ||
08:23, 23 July 2014 | ProB RushHour XTL Screenshot.png (file) | 190 KB | 1 | ||
14:46, 22 July 2014 | ProB RushHour v2 TLC Dialog.png (file) | 39 KB | 1 | ||
14:46, 22 July 2014 | ProB RushHour v2 Screenshot.png (file) | 171 KB | 1 | ||
09:06, 13 July 2014 | ProB TclTk CountVarMenu.png (file) | 63 KB | 1 | ||
05:49, 27 June 2014 | ProZ jars.png (file) | 129 KB | 1 | ||
08:16, 12 March 2014 | Disprover proof.png (file) | 13 KB | 1 | ||
08:14, 12 March 2014 | Disprover proof control.png (file) | 34 KB | 1 | ||
15:46, 20 February 2014 | ProB Queens 40 Screenshot.png (file) | 73 KB | 1 | ||
07:08, 25 January 2014 | ProB PeaceableQueens 8 9 Opt Screenshot.png (file) | 133 KB | 1 | ||
07:08, 25 January 2014 | ProB PeaceableQueens 8 9 Screenshot.png (file) | 127 KB | 1 | ||
15:06, 15 December 2013 | ProB Lift ExecuteOperation Dialog Pred.png (file) | 26 KB | 1 | ||
15:03, 15 December 2013 | ProB Lift ExecuteOperationMenu.png (file) | 48 KB | 1 | ||
15:01, 15 December 2013 | ProB Lift OpPane WithJump Exec98.png (file) | 32 KB | 1 | ||
15:01, 15 December 2013 | ProB Lift ExecuteOperation Dialog.png (file) | 24 KB | 1 | ||
15:00, 15 December 2013 | ProB ExecuteOperation.png (file) | 21 KB | 1 | ||
14:55, 15 December 2013 | ProB Lift OpPane WithJump101.png (file) | 16 KB | 1 | ||
14:55, 15 December 2013 | ProB Lift MAX OPERATIONS.png (file) | 68 KB | 1 | ||
14:55, 15 December 2013 | ProB LiftWithJump.png (file) | 80 KB | 1 | ||
08:52, 11 November 2013 | MLiftEventsView.png (file) | 27 KB | 1 | ||
08:52, 11 November 2013 | MLiftNavigateHTMLVisualization2.png (file) | 12 KB | 1 | ||
08:51, 11 November 2013 | MLiftNavigateHTMLVisualization.png (file) | 16 KB | 1 | ||
08:49, 11 November 2013 | MLiftHTMLVisualization.png (file) | 41 KB | 1 |