Uploads by Jens Bendisposto
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | Description | Versions |
|---|---|---|---|---|---|
| 16:07, 16 November 2009 | Install.swf (file) |  |
365 KB | Flash Movie - Howto install the ProB and Camille Plug-in for Rodin. | 1 |
| 15:44, 18 November 2009 | Out of date icon.png (file) |  |
3 KB | 1 | |
| 13:12, 18 January 2010 | Puzzle graphical1.png (file) |  |
33 KB | 1 | |
| 13:24, 18 January 2010 | Scheduler graphvis1.png (file) |  |
23 KB | 1 | |
| 13:27, 18 January 2010 | Sudoku graphvis1.png (file) |  |
100 KB | 1 | |
| 13:34, 18 January 2010 | Visualising the state space.png (file) |  |
59 KB | 1 | |
| 13:35, 18 January 2010 | Trace to invariant violation.png (file) |  |
50 KB | 1 | |
| 14:27, 18 January 2010 | Quality.png (file) |  |
2 KB | 1 | |
| 14:41, 18 January 2010 | Ltldialog.png (file) |  |
30 KB | 1 | |
| 14:54, 18 January 2010 | Ltlassertions.png (file) |  |
29 KB | 1 | |
| 16:44, 14 April 2010 | Menu plugin.png (file) |  |
37 KB | 1 | |
| 16:45, 14 April 2010 | Menu standalone.png (file) |  |
24 KB | 1 | |
| 12:51, 9 July 2010 | ProblemsViewFilter.png (file) |  |
140 KB | Setting up a filter for Problems view | 1 |
| 14:10, 9 July 2010 | ProB complete.psf (file) | |
17 KB | new version, added parserbase | 2 |
| 12:31, 17 March 2011 | ProB Logo.jpg (file) |  |
215 KB | 1 | |
| 14:24, 6 October 2011 | Eval view.png (file) |  |
152 KB | 1 | |
| 14:31, 6 October 2011 | Eval view2.png (file) |  |
34 KB | 1 | |
| 15:03, 6 October 2011 | Eval view3.png (file) |  |
49 KB | 1 | |
| 09:36, 7 October 2011 | Eval view4.png (file) |  |
56 KB | 1 | |
| 10:02, 7 October 2011 | Eval view5.png (file) |  |
46 KB | 1 | |
| 11:13, 7 October 2011 | Eval view6.png (file) |  |
42 KB | 1 | |
| 11:32, 7 October 2011 | Eval view7.png (file) |  |
41 KB | 1 | |
| 11:33, 7 October 2011 | Eval view8.png (file) |  |
37 KB | 1 | |
| 10:24, 28 February 2012 | Extending prob.pdf (file) |  |
277 KB | 1 | |
| 11:04, 26 April 2012 | Jira.png (file) |  |
10 KB | 1 | |
| 09:41, 13 June 2013 | Scheduler tutorial2013.zip (file) | |
8 KB | Example Project for Rodin User and Developer Workshop 2013 | 1 |
| 12:42, 14 February 2014 | Langing gear.png (file) |  |
190 KB | 1 | |
| 16:01, 12 January 2015 | Install prob2.png (file) |  |
118 KB | 2 |
