Navigation
Special Pages
- Recent changes

User
- Log in

Download: Revision history

View logs for this page

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 09:3609:36, 28 June 2018‎ Michael Leuschel talk contribs‎ 13,734 bytes −20‎ →‎Latest Release
curprev 09:3509:35, 28 June 2018‎ Michael Leuschel talk contribs‎ 13,754 bytes +58‎ →‎Latest Release

curprev 06:0206:02, 5 June 2018‎ Michael Leuschel talk contribs‎ 13,696 bytes 0‎ →‎Nightly Build

curprev 09:3209:32, 4 February 2018‎ Michael Leuschel talk contribs‎ 13,509 bytes +20‎ →‎Nightly Build

curprev 15:3515:35, 12 October 2017‎ Michael Leuschel talk contribs‎ 13,489 bytes −3‎ →‎Latest Release
curprev 15:3115:31, 12 October 2017‎ Michael Leuschel talk contribs‎ 13,492 bytes −2‎ →‎Latest Release

curprev 17:4217:42, 5 October 2017‎ Michael Leuschel talk contribs‎ 12,841 bytes +164‎ →‎Short Release History
curprev 17:3617:36, 5 October 2017‎ Michael Leuschel talk contribs‎ 12,677 bytes +6‎ →‎Latest Release
curprev 11:1811:18, 5 October 2017‎ Michael Leuschel talk contribs‎ 12,671 bytes +27‎ →‎Latest Release
curprev 10:1210:12, 5 October 2017‎ Michael Leuschel talk contribs‎ 12,644 bytes +81‎ →‎Latest Release

curprev 13:5213:52, 11 July 2017‎ Michael Leuschel talk contribs‎ 12,563 bytes +249‎ →‎Short Release History
curprev 13:3713:37, 11 July 2017‎ Michael Leuschel talk contribs‎ 12,314 bytes −3‎ →‎Latest Release

curprev 06:4306:43, 7 February 2017‎ Michael Leuschel talk contribs‎ 12,317 bytes +147‎ →‎ProB for Rodin

curprev 15:0515:05, 2 February 2017‎ Michael Leuschel talk contribs‎ 12,170 bytes +96‎ →‎Graphviz Requirements
curprev 15:0315:03, 2 February 2017‎ Michael Leuschel talk contribs‎ 12,074 bytes +37‎ →‎Graphviz Requirements
curprev 15:0215:02, 2 February 2017‎ Michael Leuschel talk contribs‎ 12,037 bytes +56‎ No edit summary

curprev 12:2012:20, 20 October 2016‎ Michael Leuschel talk contribs‎ 11,981 bytes +250‎ →‎Short Release History
curprev 12:0812:08, 20 October 2016‎ Sebastian Krings talk contribs‎ 11,731 bytes 0‎ →‎Latest Release
curprev 12:0812:08, 20 October 2016‎ Sebastian Krings talk contribs‎ 11,731 bytes −6‎ →‎Latest Release

curprev 08:5408:54, 7 October 2016‎ Michael Leuschel talk contribs‎ 11,737 bytes −8‎ →‎Nightly Build

curprev 07:5907:59, 26 September 2016‎ Sebastian Krings talk contribs‎ 11,745 bytes −38‎ →‎Nightly Build
curprev 07:0307:03, 26 September 2016‎ Sebastian Krings talk contribs‎ 11,783 bytes −4‎ →‎Timed-CSP Simulator

curprev 14:1514:15, 1 June 2016‎ Michael Leuschel talk contribs‎ 11,787 bytes 0‎ →‎Latest Release

curprev 07:4407:44, 4 May 2016‎ Michael Leuschel talk contribs‎ 11,787 bytes +147‎ →‎Java Requirements for B parser

curprev 07:2907:29, 26 April 2016‎ Michael Leuschel talk contribs‎ 11,391 bytes −2‎ →‎Latest Release

curprev 08:1808:18, 23 April 2016‎ Michael Leuschel talk contribs‎ 11,393 bytes +79‎ →‎Short Release History
curprev 08:1608:16, 23 April 2016‎ Michael Leuschel talk contribs‎ 11,314 bytes +352‎ →‎Short Release History
curprev 07:5207:52, 23 April 2016‎ Michael Leuschel talk contribs‎ 10,962 bytes +36‎ →‎Latest Release

curprev 14:1014:10, 22 April 2016‎ Sebastian Krings talk contribs‎ 10,926 bytes −220‎ →‎Nightly Build
curprev 14:0814:08, 22 April 2016‎ Sebastian Krings talk contribs‎ 11,146 bytes −8‎ →‎Latest Release

curprev 08:4108:41, 21 April 2016‎ Michael Leuschel talk contribs‎ 11,154 bytes 0‎ →‎Nightly Build

curprev 15:0915:09, 25 February 2016‎ Michael Leuschel talk contribs‎ 11,154 bytes −9‎ No edit summary
curprev 15:0715:07, 25 February 2016‎ Michael Leuschel talk contribs‎ 11,163 bytes +57‎ →‎Latest Release

curprev 08:4808:48, 22 December 2015‎ Michael Leuschel talk contribs‎ 10,187 bytes +23‎ →‎Nightly Build
curprev 08:4808:48, 22 December 2015‎ Michael Leuschel talk contribs‎ 10,164 bytes +617‎ →‎Nightly Build

curprev 14:0114:01, 21 December 2015‎ Michael Leuschel talk contribs‎ 9,547 bytes +94‎ →‎Nightly Build
curprev 13:5813:58, 21 December 2015‎ Michael Leuschel talk contribs‎ 9,453 bytes +136‎ →‎Nightly Build

curprev 08:3608:36, 2 December 2015‎ Sebastian Krings talk contribs‎ 9,317 bytes +22‎ No edit summary
curprev 08:3108:31, 2 December 2015‎ Sebastian Krings talk contribs‎ 9,295 bytes −6‎ →‎Sourcecode

curprev 08:4608:46, 2 November 2015‎ Michael Leuschel talk contribs‎ 9,301 bytes −32‎ →‎Nightly Build

curprev 10:3610:36, 26 October 2015‎ Michael Leuschel talk contribs‎ 9,333 bytes +129‎ →‎Latest Release

curprev 15:4315:43, 18 February 2015‎ Michael Leuschel talk contribs‎ 8,940 bytes +156‎ →‎Nightly Build
curprev 09:5009:50, 18 February 2015‎ Michael Leuschel talk contribs‎ 8,784 bytes +271‎ →‎Nightly Build

curprev 16:4516:45, 12 February 2015‎ Michael Leuschel talk contribs‎ 8,513 bytes +242‎ →‎Nightly Build
curprev 16:4316:43, 12 February 2015‎ Michael Leuschel talk contribs‎ 8,271 bytes +184‎ No edit summary

curprev 12:3512:35, 19 January 2015‎ Michael Leuschel talk contribs‎ 8,087 bytes +244‎ →‎Nightly Build

curprev 08:5408:54, 29 August 2014‎ Sebastian Krings talk contribs‎ 7,843 bytes +139‎ No edit summary

curprev 08:0108:01, 22 August 2014‎ Michael Leuschel talk contribs‎ 7,704 bytes 0‎ →‎Latest Release

curprev 13:3313:33, 18 August 2014‎ Sebastian Krings talk contribs‎ 7,704 bytes −208‎ release prob 1.4.0

curprev 09:1709:17, 12 April 2014‎ Michael Leuschel talk contribs‎ 13,048 bytes +1‎ →‎Nightly Build

curprev 13:0013:00, 21 March 2014‎ Sebastian Krings talk contribs‎ 13,047 bytes +223‎ →‎Nightly Build

curprev 07:2507:25, 25 January 2014‎ Michael Leuschel talk contribs‎ 12,824 bytes +1,723‎ No edit summary

curprev 12:2712:27, 5 June 2013‎ Michael Leuschel talk contribs‎ 11,101 bytes +186‎ →‎Tcl/Tk

curprev 14:2914:29, 7 March 2013‎ Jens Bendisposto talk contribs‎ 10,915 bytes −6‎ No edit summary

curprev 10:1110:11, 5 March 2013‎ Michael Leuschel talk contribs‎ 10,921 bytes 0‎ →‎Latest Release

curprev 17:0517:05, 1 March 2013‎ Michael Leuschel talk contribs‎ 10,921 bytes −195‎ →‎Latest Release
curprev 17:0417:04, 1 March 2013‎ Michael Leuschel talk contribs‎ 11,116 bytes 0‎ →‎Latest Release
curprev 16:0516:05, 1 March 2013‎ Michael Leuschel talk contribs‎ 11,116 bytes +1,517‎ →‎Latest Release

curprev 10:0810:08, 21 December 2012‎ Michael Leuschel talk contribs‎ 9,599 bytes +73‎ →‎Tcl/Tk
curprev 10:0810:08, 21 December 2012‎ Michael Leuschel talk contribs‎ 9,526 bytes +23‎ →‎Latest Release

curprev 14:0414:04, 6 December 2012‎ Michael Leuschel talk contribs‎ 9,503 bytes 0‎ →‎Tcl/Tk
curprev 14:0214:02, 6 December 2012‎ Michael Leuschel talk contribs‎ 9,503 bytes +105‎ →‎Tcl/Tk
curprev 09:5709:57, 6 December 2012‎ Michael Leuschel talk contribs‎ 9,398 bytes +212‎ →‎Latest Release
curprev 09:5609:56, 6 December 2012‎ Michael Leuschel talk contribs‎ 9,186 bytes +92‎ →‎Tcl/Tk

curprev 13:4413:44, 23 November 2012‎ Jens Bendisposto talk contribs‎ 9,094 bytes +46‎ No edit summary
curprev 13:4413:44, 23 November 2012‎ Jens Bendisposto talk contribs‎ 9,048 bytes +130‎ No edit summary

curprev 04:3204:32, 24 October 2012‎ Jens Bendisposto talk contribs‎ 8,918 bytes +58‎ →‎Timed-CSP Simulator
curprev 04:2804:28, 24 October 2012‎ Jens Bendisposto talk contribs‎ 8,860 bytes +38‎ →‎Timed-CSP Simulator

curprev 06:1406:14, 16 October 2012‎ Michael Leuschel talk contribs‎ 8,822 bytes +115‎ No edit summary

curprev 13:4813:48, 11 October 2012‎ Michael Leuschel talk contribs‎ 8,707 bytes +39‎ →‎Latest Release
curprev 11:2511:25, 11 October 2012‎ Michael Leuschel talk contribs‎ 8,668 bytes +2‎ →‎Latest Release

curprev 11:1811:18, 9 October 2012‎ Michael Leuschel talk contribs‎ 7,995 bytes −291‎ →‎Latest Release
curprev 11:1611:16, 9 October 2012‎ Michael Leuschel talk contribs‎ 8,286 bytes +291‎ →‎Latest Release

curprev 15:0415:04, 8 October 2012‎ Michael Leuschel talk contribs‎ 7,995 bytes −23‎ →‎Latest Release
curprev 14:4214:42, 8 October 2012‎ Michael Leuschel talk contribs‎ 8,018 bytes +1,219‎ →‎Latest Release
curprev 14:3414:34, 8 October 2012‎ Michael Leuschel talk contribs‎ 6,799 bytes +780‎ →‎Tcl/Tk
curprev 14:3114:31, 8 October 2012‎ Michael Leuschel talk contribs‎ 6,019 bytes −779‎ →‎Tcl/Tk

curprev 09:3609:36, 4 July 2012‎ Lukas Ladenberger talk contribs‎ 6,798 bytes +97‎ →‎Tcl/Tk

curprev 08:0608:06, 17 May 2012‎ Michael Leuschel talk contribs‎ 6,701 bytes +203‎ →‎Latest Release

curprev 13:4613:46, 7 May 2012‎ Marc Fontaine talk contribs‎ 6,498 bytes 0‎ →‎Timed-CSP Simulator

curprev 13:0313:03, 4 May 2012‎ Marc Fontaine talk contribs‎ 6,498 bytes +57‎ →‎Timed-CSP Simulator
curprev 12:5812:58, 4 May 2012‎ Marc Fontaine talk contribs‎ 6,441 bytes +157‎ No edit summary

curprev 10:5310:53, 23 March 2012‎ Michael Leuschel talk contribs‎ 6,284 bytes +218‎ →‎Nightly Build

curprev 01:5001:50, 23 December 2011‎ Jens Bendisposto talk contribs‎ 6,066 bytes +10‎ No edit summary

curprev 14:3714:37, 15 December 2011‎ Michael Leuschel talk contribs‎ 6,056 bytes +127‎ →‎Nightly Build
curprev 14:3614:36, 15 December 2011‎ Michael Leuschel talk contribs‎ 5,929 bytes −10‎ No edit summary

curprev 14:5714:57, 5 December 2011‎ Michael Leuschel talk contribs‎ 5,939 bytes +64‎ →‎Latest Release

curprev 14:1114:11, 30 November 2011‎ Michael Leuschel talk contribs‎ 5,875 bytes 0‎ →‎Latest Release
curprev 13:3913:39, 30 November 2011‎ Michael Leuschel talk contribs‎ 5,875 bytes +31‎ No edit summary
curprev 13:3613:36, 30 November 2011‎ Michael Leuschel talk contribs‎ 5,844 bytes +28‎ →‎Latest Release
curprev 11:2611:26, 30 November 2011‎ Michael Leuschel talk contribs‎ 5,816 bytes 0‎ →‎Latest Release

curprev 20:3720:37, 27 November 2011‎ Michael Leuschel talk contribs‎ 5,816 bytes +9‎ →‎Latest Release
curprev 20:3720:37, 27 November 2011‎ Michael Leuschel talk contribs‎ 5,807 bytes +9‎ →‎Latest Release
curprev 20:3620:36, 27 November 2011‎ Michael Leuschel talk contribs‎ 5,798 bytes +1‎ →‎Latest Release
curprev 20:3520:35, 27 November 2011‎ Michael Leuschel talk contribs‎ 5,797 bytes −9‎ →‎Latest Release

curprev 14:3314:33, 21 September 2011‎ Michael Leuschel talk contribs‎ 4,304 bytes −17‎ →‎Nightly Build
curprev 14:3114:31, 21 September 2011‎ Michael Leuschel talk contribs‎ 4,321 bytes +29‎ →‎Nightly Build
curprev 14:1314:13, 21 September 2011‎ Michael Leuschel talk contribs‎ 4,292 bytes +34‎ →‎Nightly Build
curprev 14:1214:12, 21 September 2011‎ Michael Leuschel talk contribs‎ 4,258 bytes +55‎ →‎Nightly Build

curprev 14:5414:54, 13 September 2011‎ Michael Leuschel talk contribs‎ 3,557 bytes −1‎ →‎Nightly Build
curprev 14:5314:53, 13 September 2011‎ Michael Leuschel talk contribs‎ 3,558 bytes +336‎ →‎Nightly Build

curprev 15:4815:48, 12 September 2011‎ Jens Bendisposto talk contribs‎ 3,222 bytes +27‎ →‎Latest Release
curprev 15:1415:14, 12 September 2011‎ Jens Bendisposto talk contribs‎ 3,195 bytes +3‎ →‎Earlier Releases
curprev 15:1015:10, 12 September 2011‎ Jens Bendisposto talk contribs‎ 3,192 bytes 0‎ →‎Earlier Releases

curprev 09:2909:29, 9 September 2011‎ Jens Bendisposto talk contribs‎ 3,192 bytes −2‎ →‎Nightly Build

curprev 05:2805:28, 6 September 2011‎ Jens Bendisposto talk contribs‎ 3,194 bytes −11‎ No edit summary

curprev 13:2113:21, 1 September 2011‎ Michael Leuschel talk contribs‎ 3,205 bytes +50‎ →‎Latest Release
curprev 10:1510:15, 1 September 2011‎ Michael Leuschel talk contribs‎ 3,155 bytes +151‎ →‎Latest Release

curprev 12:1012:10, 17 March 2011‎ Michael Leuschel talk contribs‎ 3,004 bytes −667‎ →‎Latest Release
curprev 12:0912:09, 17 March 2011‎ Michael Leuschel talk contribs‎ 3,671 bytes −543‎ →‎Latest Release
curprev 12:0712:07, 17 March 2011‎ Michael Leuschel talk contribs‎ 4,214 bytes −550‎ →‎Latest Release
curprev 10:5910:59, 17 March 2011‎ Jens Bendisposto talk contribs‎ 4,764 bytes +142‎ No edit summary

curprev 14:4014:40, 10 March 2011‎ Michael Leuschel talk contribs‎ 4,622 bytes −58‎ →‎Tcl/Tk
curprev 13:5313:53, 10 March 2011‎ Michael Leuschel talk contribs‎ 4,680 bytes +146‎ →‎tcl/tk

curprev 09:2209:22, 11 February 2011‎ Daniel Plagge talk contribs‎ 4,534 bytes +48‎ →‎Latest Release

curprev 21:2921:29, 31 July 2010‎ Daniel Plagge talk contribs‎ 3,023 bytes 0‎ →‎Latest Release
curprev 21:2821:28, 31 July 2010‎ Daniel Plagge talk contribs‎ 3,023 bytes −23‎ →‎Latest Release
curprev 21:2721:27, 31 July 2010‎ Daniel Plagge talk contribs‎ 3,046 bytes +6‎ →‎Latest Release

curprev 10:2810:28, 12 July 2010‎ Jens Bendisposto talk contribs‎ 3,027 bytes −6‎ No edit summary
curprev 10:2610:26, 12 July 2010‎ Jens Bendisposto talk contribs‎ 3,033 bytes +89‎ →‎Earlier Releases

curprev 13:1013:10, 1 July 2010‎ Michael Leuschel talk contribs‎ 2,944 bytes 0‎ →‎Latest Release

curprev 14:1214:12, 10 June 2010‎ Michael Leuschel talk contribs‎ 2,944 bytes 0‎ →‎Latest Release

curprev 09:2309:23, 1 April 2010‎ Michael Leuschel talk contribs‎ 2,944 bytes +118‎ →‎Latest Release
curprev 07:5407:54, 1 April 2010‎ Michael Leuschel talk contribs‎ 2,826 bytes 0‎ →‎Latest Release

curprev 15:0515:05, 30 March 2010‎ Michael Leuschel talk contribs‎ 2,826 bytes 0‎ →‎Latest Release

curprev 09:0009:00, 22 March 2010‎ Michael Leuschel talk contribs‎ 2,826 bytes 0‎ →‎Latest Release

curprev 16:4016:40, 18 March 2010‎ Michael Leuschel talk contribs‎ 2,826 bytes 0‎ →‎Latest Release

curprev 16:0216:02, 16 March 2010‎ Michael Leuschel talk contribs‎ 2,826 bytes 0‎ →‎Latest Release
curprev 15:3215:32, 16 March 2010‎ Michael Leuschel talk contribs‎ 2,826 bytes +15‎ →‎Latest Release
curprev 15:3115:31, 16 March 2010‎ Michael Leuschel talk contribs‎ 2,811 bytes 0‎ →‎Latest Release
curprev 15:2915:29, 16 March 2010‎ Michael Leuschel talk contribs‎ 2,811 bytes 0‎ →‎Latest Release

curprev 09:2909:29, 5 March 2010‎ Ingo Weigelt talk contribs‎ m 2,811 bytes −1‎ No edit summary
curprev 09:2809:28, 5 March 2010‎ Ingo Weigelt talk contribs‎ m 2,812 bytes +12‎ fixed broken links
curprev 09:2609:26, 5 March 2010‎ Ingo Weigelt talk contribs‎ m 2,800 bytes 0‎ fixed broken link

curprev 15:1315:13, 3 March 2010‎ Michael Leuschel talk contribs‎ 2,800 bytes 0‎ →‎Latest Release
curprev 14:5714:57, 3 March 2010‎ Michael Leuschel talk contribs‎ 2,800 bytes −3‎ →‎Latest Release

Retrieved from "https://prob.hhu.de/w/index.php?title=Download"