Download: 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:1407:14, 24 April 2024‎ Michael Leuschel talk contribs‎ 25,346 bytes −48‎ →‎Latest Beta Release

curprev 12:1412:14, 15 January 2024‎ Michael Leuschel talk contribs‎ 25,083 bytes 0‎ →‎Tcl/Tk from Homebrew or MacPorts
curprev 12:1412:14, 15 January 2024‎ Michael Leuschel talk contribs‎ 25,083 bytes +2‎ →‎Tcl/Tk on macOS

curprev 13:3213:32, 26 October 2023‎ Michael Leuschel talk contribs‎ 25,081 bytes +17‎ →‎ProB2-UI

curprev 14:1814:18, 15 August 2023‎ David Geleßus talk contribs‎ m 25,064 bytes 0‎ →‎ProB2-UI
curprev 14:1814:18, 15 August 2023‎ David Geleßus talk contribs‎ 25,064 bytes −117‎ →‎ProB2-UI: Update and deduplicate info about ProB Java API
curprev 14:1514:15, 15 August 2023‎ David Geleßus talk contribs‎ 25,181 bytes +188‎ →‎ProB2-UI: Update download links for release 1.2.1

curprev 16:5416:54, 14 August 2023‎ David Geleßus talk contribs‎ 24,993 bytes 0‎ →‎Short Release History: AAAAAAAAAAAAAA
curprev 16:4916:49, 14 August 2023‎ David Geleßus talk contribs‎ 24,993 bytes 0‎ →‎Short Release History: The dates were an inconsistent mix of d/m/y and m/d/y AAAAAA I hope this is correct now
curprev 16:4516:45, 14 August 2023‎ David Geleßus talk contribs‎ m 24,993 bytes +17‎ →‎Short Release History

curprev 10:3010:30, 11 August 2023‎ David Geleßus talk contribs‎ m 24,976 bytes +44‎ No edit summary
curprev 10:2710:27, 11 August 2023‎ David Geleßus talk contribs‎ 24,932 bytes −208‎ Remove old info about problem with Oracle Java 17 that was fixed in SICStus 4.7.1
curprev 09:0709:07, 11 August 2023‎ Michael Leuschel talk contribs‎ 25,140 bytes +105‎ →‎Short Release History
curprev 05:5405:54, 11 August 2023‎ Michael Leuschel talk contribs‎ 25,035 bytes 0‎ →‎Latest Release

curprev 07:4007:40, 4 August 2023‎ Michael Leuschel talk contribs‎ 25,035 bytes +307‎ →‎Graphviz Requirements
curprev 06:0606:06, 4 August 2023‎ Michael Leuschel talk contribs‎ 24,728 bytes +231‎ →‎Tcl/Tk on macOS

curprev 09:4309:43, 1 August 2023‎ David Geleßus talk contribs‎ 24,497 bytes +203‎ →‎macOS issues: Update instructions for opening not signed/notarized app
curprev 09:3409:34, 1 August 2023‎ David Geleßus talk contribs‎ 24,294 bytes +196‎ →‎ProB2-UI: Update macOS snapshot links for new Apple Silicon build

curprev 11:3611:36, 22 June 2023‎ David Geleßus talk contribs‎ m 24,098 bytes +126‎ →‎Editor Support
curprev 11:3411:34, 22 June 2023‎ David Geleßus talk contribs‎ 23,972 bytes −352‎ →‎Editor Support: Remove Atom package because Atom is dead now
curprev 10:5910:59, 22 June 2023‎ David Geleßus talk contribs‎ 24,324 bytes +124‎ →‎ProB2-UI: Link release history
curprev 10:5810:58, 22 June 2023‎ David Geleßus talk contribs‎ 24,200 bytes −150‎ →‎ProB2-UI: Release 1.2.0

curprev 13:5113:51, 23 May 2023‎ Michael Leuschel talk contribs‎ 24,350 bytes +141‎ →‎ProB2-UI

curprev 15:1615:16, 4 May 2023‎ David Geleßus talk contribs‎ m 24,209 bytes −5‎ →‎Java Requirements for B parser
curprev 08:2108:21, 4 May 2023‎ David Geleßus talk contribs‎ 24,214 bytes +86‎ Update Java requirements

curprev 14:1714:17, 3 May 2023‎ Michael Leuschel talk contribs‎ 24,128 bytes +1‎ →‎Latest Release
curprev 14:1314:13, 3 May 2023‎ Michael Leuschel talk contribs‎ 24,127 bytes −138‎ →‎Latest Release
curprev 11:2311:23, 3 May 2023‎ Michael Leuschel talk contribs‎ 24,265 bytes +2‎ →‎Latest Release

curprev 11:4111:41, 6 April 2023‎ Michael Leuschel talk contribs‎ 24,263 bytes −1‎ →‎Short Release History
curprev 11:4111:41, 6 April 2023‎ Michael Leuschel talk contribs‎ 24,264 bytes +88‎ →‎Short Release History
curprev 11:0311:03, 6 April 2023‎ Michael Leuschel talk contribs‎ 24,176 bytes 0‎ →‎Short Release History
curprev 11:0311:03, 6 April 2023‎ Michael Leuschel talk contribs‎ 24,176 bytes +204‎ →‎Short Release History

curprev 12:2712:27, 23 February 2023‎ David Geleßus talk contribs‎ 24,240 bytes +4‎ Update another link
curprev 12:2212:22, 23 February 2023‎ David Geleßus talk contribs‎ 24,236 bytes +57‎ Update links to new server

curprev 10:3110:31, 15 December 2022‎ Michael Leuschel talk contribs‎ 24,179 bytes +21‎ →‎Tcl/Tk on macOS

curprev 10:4310:43, 10 October 2022‎ Michael Leuschel talk contribs‎ 24,158 bytes −1‎ →‎Tcl/Tk on macOS
curprev 10:4110:41, 10 October 2022‎ Michael Leuschel talk contribs‎ 24,159 bytes +50‎ →‎Tcl/Tk on macOS

curprev 13:3513:35, 9 September 2022‎ Michael Leuschel talk contribs‎ 24,109 bytes −5‎ →‎Tcl/Tk on Windows
curprev 13:3413:34, 9 September 2022‎ Michael Leuschel talk contribs‎ 24,114 bytes +446‎ →‎Tcl/Tk on Windows

curprev 11:2711:27, 25 April 2022‎ Michael Leuschel talk contribs‎ 23,668 bytes 0‎ →‎Latest Beta Release

curprev 07:4707:47, 12 April 2022‎ Michael Leuschel talk contribs‎ 23,668 bytes −1‎ →‎Latest Release
curprev 07:4607:46, 12 April 2022‎ Michael Leuschel talk contribs‎ 23,669 bytes +37‎ →‎Latest Release
curprev 07:4507:45, 12 April 2022‎ Michael Leuschel talk contribs‎ 23,632 bytes −186‎ →‎Java Requirements for B parser
curprev 07:4207:42, 12 April 2022‎ Michael Leuschel talk contribs‎ 23,818 bytes +163‎ →‎Java Requirements for B parser

curprev 10:1110:11, 25 March 2022‎ David Geleßus talk contribs‎ 23,655 bytes +462‎ →‎ProB2-UI: Added better links to snapshot builds

curprev 08:1308:13, 24 March 2022‎ David Geleßus talk contribs‎ 23,193 bytes −59‎ →‎Latest Beta Release
curprev 06:5506:55, 24 March 2022‎ Michael Leuschel talk contribs‎ 23,252 bytes 0‎ →‎Latest Beta Release

curprev 09:1709:17, 17 March 2022‎ Michael Leuschel talk contribs‎ 25,145 bytes +94‎ →‎ProB2-UI using Java FX

curprev 10:4610:46, 16 March 2022‎ Michael Leuschel talk contribs‎ 25,051 bytes +170‎ →‎ProB2-UI using Java FX

curprev 12:5912:59, 17 January 2022‎ Michael Leuschel talk contribs‎ 24,881 bytes +150‎ →‎ProB2-UI using Java FX

curprev 15:1515:15, 13 January 2022‎ Michael Leuschel talk contribs‎ 24,731 bytes +21‎ →‎Latest Release

curprev 07:2607:26, 13 November 2021‎ Michael Leuschel talk contribs‎ 24,148 bytes +16‎ →‎Graphviz Requirements
curprev 07:2507:25, 13 November 2021‎ Michael Leuschel talk contribs‎ 24,132 bytes +598‎ →‎Graphviz Requirements

curprev 12:4112:41, 10 November 2021‎ Michael Leuschel talk contribs‎ 23,534 bytes −5‎ →‎Tcl/Tk on Mac OS/X

curprev 06:4106:41, 30 October 2021‎ Michael Leuschel talk contribs‎ 23,539 bytes +97‎ →‎Tcl/Tk on Mac OS/X

curprev 08:3308:33, 29 October 2021‎ Michael Leuschel talk contribs‎ 23,442 bytes +199‎ →‎Tcl/Tk on Mac OS/X

curprev 07:1707:17, 27 October 2021‎ Michael Leuschel talk contribs‎ 22,609 bytes +107‎ →‎Tcl/Tk on Mac OS/X

curprev 14:0214:02, 12 October 2021‎ Michael Leuschel talk contribs‎ 22,502 bytes +162‎ →‎Tcl/Tk on Mac OS/X

curprev 06:2606:26, 7 October 2021‎ Michael Leuschel talk contribs‎ 22,340 bytes +190‎ →‎ProB2-UI using Java FX

curprev 09:0509:05, 29 January 2021‎ Michael Leuschel talk contribs‎ 22,033 bytes +135‎ →‎Latest Release
curprev 08:3508:35, 29 January 2021‎ Michael Leuschel talk contribs‎ 21,898 bytes +55‎ →‎Latest Release
curprev 08:3508:35, 29 January 2021‎ Michael Leuschel talk contribs‎ 21,843 bytes +146‎ →‎Latest Release

curprev 09:3609:36, 28 January 2021‎ Michael Leuschel talk contribs‎ 21,697 bytes +1‎ →‎Latest Release
curprev 09:3609:36, 28 January 2021‎ Michael Leuschel talk contribs‎ 21,696 bytes −114‎ →‎Latest Release
curprev 09:3509:35, 28 January 2021‎ Michael Leuschel talk contribs‎ 21,810 bytes +451‎ →‎Latest Release

curprev 10:1210:12, 22 January 2021‎ Michael Leuschel talk contribs‎ 21,935 bytes −6‎ →‎Latest Release
curprev 10:1210:12, 22 January 2021‎ Michael Leuschel talk contribs‎ 21,941 bytes +1‎ →‎Latest Release
curprev 10:1110:11, 22 January 2021‎ Michael Leuschel talk contribs‎ 21,940 bytes −6‎ →‎Latest Release
curprev 10:1010:10, 22 January 2021‎ Michael Leuschel talk contribs‎ 21,946 bytes +38‎ →‎Latest Release

curprev 10:1310:13, 23 December 2020‎ Michael Leuschel talk contribs‎ 21,908 bytes +1‎ →‎Tcl/Tk on Mac OS/X
curprev 10:1210:12, 23 December 2020‎ Michael Leuschel talk contribs‎ 21,907 bytes +2‎ →‎Tcl/Tk on Mac OS/X
curprev 10:1210:12, 23 December 2020‎ Michael Leuschel talk contribs‎ 21,905 bytes +155‎ →‎Tcl/Tk on Mac OS/X

curprev 14:4514:45, 17 December 2020‎ Michael Leuschel talk contribs‎ 21,750 bytes +119‎ →‎ProB2 UI using Java FX

curprev 15:1915:19, 3 November 2020‎ Michael Leuschel talk contribs‎ 21,026 bytes +33‎ →‎ProB2 UI using Java FX

curprev 11:2911:29, 2 November 2020‎ Michael Leuschel talk contribs‎ 20,993 bytes −2‎ →‎Latest Release
curprev 11:2811:28, 2 November 2020‎ Michael Leuschel talk contribs‎ 20,995 bytes −14‎ →‎Latest Release

curprev 09:1309:13, 29 October 2020‎ Michael Leuschel talk contribs‎ 21,009 bytes +10‎ →‎ProB2 UI using Java FX
curprev 09:1109:11, 29 October 2020‎ Michael Leuschel talk contribs‎ 20,999 bytes +325‎ →‎ProB2 UI using Java FX
curprev 08:5508:55, 29 October 2020‎ Michael Leuschel talk contribs‎ 20,674 bytes +1‎ →‎Latest Beta Release
curprev 08:5408:54, 29 October 2020‎ Michael Leuschel talk contribs‎ 20,673 bytes +172‎ →‎Latest Beta Release

curprev 14:4914:49, 21 September 2020‎ Michael Leuschel talk contribs‎ 20,501 bytes 0‎ →‎Latest Beta Release

curprev 14:2314:23, 8 September 2020‎ Michael Leuschel talk contribs‎ 20,501 bytes +1‎ →‎ProB2 UI using Java FX
curprev 14:2314:23, 8 September 2020‎ Michael Leuschel talk contribs‎ 20,500 bytes −2‎ →‎ProB2 UI using Java FX
curprev 14:2214:22, 8 September 2020‎ Michael Leuschel talk contribs‎ 20,502 bytes +61‎ →‎ProB2 UI using Java FX
curprev 14:2014:20, 8 September 2020‎ Michael Leuschel talk contribs‎ 20,441 bytes +71‎ →‎ProB2 UI using Java FX

curprev 11:3711:37, 21 August 2020‎ Michael Leuschel talk contribs‎ 20,370 bytes +9‎ →‎ProB2 UI using Java FX
curprev 10:4810:48, 21 August 2020‎ Michael Leuschel talk contribs‎ 20,361 bytes +160‎ →‎ProB2 UI using Java FX

curprev 07:0407:04, 18 July 2020‎ Michael Leuschel talk contribs‎ 20,201 bytes 0‎ →‎Latest Beta Release

curprev 14:4214:42, 6 July 2020‎ Michael Leuschel talk contribs‎ 20,201 bytes 0‎ →‎Latest Beta Release

curprev 11:4311:43, 5 May 2020‎ Michael Leuschel talk contribs‎ 20,201 bytes +6‎ →‎Latest Beta Release

curprev 15:0915:09, 16 April 2020‎ Michael Leuschel talk contribs‎ 20,195 bytes +8‎ No edit summary

curprev 16:0916:09, 19 February 2020‎ Michael Leuschel talk contribs‎ 19,705 bytes +141‎ →‎Short Release History
curprev 14:3914:39, 19 February 2020‎ Michael Leuschel talk contribs‎ 19,564 bytes −5‎ No edit summary

curprev 12:1012:10, 18 February 2020‎ Michael Leuschel talk contribs‎ 19,569 bytes −4‎ →‎Latest Beta Release
curprev 07:0007:00, 18 February 2020‎ Michael Leuschel talk contribs‎ 19,573 bytes +10‎ →‎Sourcecode

curprev 08:2408:24, 14 February 2020‎ Michael Leuschel talk contribs‎ 19,563 bytes −22‎ →‎ProB2 UI using Java FX

curprev 13:5013:50, 11 February 2020‎ Michael Leuschel talk contribs‎ 19,585 bytes +105‎ →‎ProB2 UI using Java FX

curprev 08:2908:29, 4 February 2020‎ Michael Leuschel talk contribs‎ 18,942 bytes 0‎ →‎Latest Beta Release

curprev 11:4911:49, 20 January 2020‎ Michael Leuschel talk contribs‎ 18,942 bytes 0‎ →‎Latest Beta Release

curprev 11:1611:16, 7 January 2020‎ Michael Leuschel talk contribs‎ 18,942 bytes 0‎ →‎ProB2 UI using Java FX

curprev 10:1610:16, 31 December 2019‎ Michael Leuschel talk contribs‎ 18,942 bytes 0‎ →‎Latest Beta Release

curprev 09:1309:13, 4 December 2019‎ Michael Leuschel talk contribs‎ 18,942 bytes +154‎ →‎Tcl/Tk on Mac OS/X

curprev 15:4215:42, 26 November 2019‎ Michael Leuschel talk contribs‎ 18,788 bytes −1‎ →‎ProB2 UI using Java FX
curprev 15:4215:42, 26 November 2019‎ Michael Leuschel talk contribs‎ 18,789 bytes +136‎ →‎ProB2 UI using Java FX
curprev 15:4115:41, 26 November 2019‎ Michael Leuschel talk contribs‎ 18,653 bytes +95‎ →‎Java Requirements for B parser

curprev 12:4612:46, 25 November 2019‎ Michael Leuschel talk contribs‎ 18,558 bytes 0‎ →‎Latest Beta Release

curprev 19:1519:15, 11 November 2019‎ Michael Leuschel talk contribs‎ 18,558 bytes +78‎ →‎Short Release History
curprev 19:1319:13, 11 November 2019‎ Michael Leuschel talk contribs‎ 18,480 bytes +3‎ →‎Latest Release

curprev 11:3411:34, 8 November 2019‎ Michael Leuschel talk contribs‎ 18,477 bytes +76‎ →‎Short Release History
curprev 11:3111:31, 8 November 2019‎ Michael Leuschel talk contribs‎ 18,401 bytes 0‎ →‎Latest Release

curprev 11:2611:26, 24 October 2019‎ Michael Leuschel talk contribs‎ 18,401 bytes 0‎ →‎Latest Beta Release

curprev 19:1519:15, 14 October 2019‎ Michael Leuschel talk contribs‎ 18,401 bytes 0‎ →‎Latest Beta Release

curprev 07:4307:43, 2 October 2019‎ Michael Leuschel talk contribs‎ 18,401 bytes +26‎ →‎ProB2 UI using Java FX

curprev 14:1914:19, 10 September 2019‎ Michael Leuschel talk contribs‎ 18,375 bytes −2‎ →‎Latest Beta Release

curprev 11:5811:58, 18 July 2019‎ Michael Leuschel talk contribs‎ 17,717 bytes +178‎ →‎ProB2 UI using Java FX
curprev 11:5111:51, 18 July 2019‎ Michael Leuschel talk contribs‎ 17,539 bytes −9‎ →‎ProB2 UI using Java FX
curprev 11:5011:50, 18 July 2019‎ Michael Leuschel talk contribs‎ 17,548 bytes 0‎ →‎ProB2 UI using Java FX

curprev 11:0511:05, 17 May 2019‎ Michael Leuschel talk contribs‎ 17,226 bytes +2‎ →‎Latest Beta Release

curprev 11:3711:37, 11 April 2019‎ Michael Leuschel talk contribs‎ 17,224 bytes +152‎ No edit summary
curprev 11:3311:33, 11 April 2019‎ Michael Leuschel talk contribs‎ 17,072 bytes +518‎ →‎Latest Release

curprev 12:5612:56, 26 February 2019‎ Michael Leuschel talk contribs‎ 16,554 bytes +137‎ →‎Nightly Builds
curprev 12:5512:55, 26 February 2019‎ Michael Leuschel talk contribs‎ 16,417 bytes +30‎ →‎Nightly Builds

curprev 12:1012:10, 18 February 2019‎ Michael Leuschel talk contribs‎ 16,387 bytes +170‎ →‎ProB2 UI using Java FX

curprev 11:3911:39, 12 February 2019‎ Michael Leuschel talk contribs‎ 16,217 bytes −175‎ →‎Nightly Builds

curprev 09:0609:06, 4 February 2019‎ Michael Leuschel talk contribs‎ 16,392 bytes +89‎ →‎ProB2 UI using Java FX
curprev 08:5108:51, 4 February 2019‎ Michael Leuschel talk contribs‎ 16,303 bytes +56‎ →‎ProB2 UI using Java FX

curprev 08:3908:39, 8 January 2019‎ Michael Leuschel talk contribs‎ 16,247 bytes +440‎ →‎Sourcecode

curprev 09:3809:38, 29 October 2018‎ Michael Leuschel talk contribs‎ 15,807 bytes +164‎ →‎ProB for Rodin

curprev 13:0913:09, 23 October 2018‎ Michael Leuschel talk contribs‎ 15,643 bytes +87‎ →‎ProB for Rodin
curprev 12:5012:50, 23 October 2018‎ Michael Leuschel talk contribs‎ 15,556 bytes +15‎ →‎ProB for Rodin
curprev 12:5012:50, 23 October 2018‎ Michael Leuschel talk contribs‎ 15,541 bytes +246‎ →‎ProB for Rodin

curprev 11:4311:43, 5 October 2018‎ Michael Leuschel talk contribs‎ 15,295 bytes +925‎ →‎Latest Release

curprev 09:1209:12, 1 October 2018‎ Michael Leuschel talk contribs‎ 14,440 bytes +37‎ No edit summary
curprev 09:0809:08, 1 October 2018‎ Michael Leuschel talk contribs‎ 14,403 bytes 0‎ No edit summary
curprev 09:0809:08, 1 October 2018‎ Michael Leuschel talk contribs‎ 14,403 bytes 0‎ No edit summary

curprev 12:3212:32, 9 July 2018‎ Michael Leuschel talk contribs‎ 14,019 bytes +70‎ →‎Graphviz Requirements
curprev 12:2912:29, 9 July 2018‎ Michael Leuschel talk contribs‎ 13,949 bytes +224‎ →‎Tcl/Tk on Linux
curprev 12:2712:27, 9 July 2018‎ Michael Leuschel talk contribs‎ 13,725 bytes −9‎ →‎Prior Versions

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

24 April 2024

23 February 2024

15 January 2024

26 October 2023

15 August 2023

14 August 2023

11 August 2023

4 August 2023

1 August 2023

22 June 2023

23 May 2023

4 May 2023

3 May 2023

6 April 2023

5 April 2023

23 February 2023

15 December 2022

10 October 2022

9 September 2022

25 April 2022

12 April 2022

25 March 2022

24 March 2022

21 March 2022

17 March 2022

16 March 2022

17 January 2022

13 January 2022

30 December 2021

29 December 2021

13 November 2021

10 November 2021

30 October 2021

29 October 2021

28 October 2021

27 October 2021

12 October 2021

7 October 2021

6 October 2021

18 May 2021

29 January 2021

28 January 2021

27 January 2021

26 January 2021

22 January 2021

23 December 2020

17 December 2020

16 December 2020

3 November 2020

2 November 2020

29 October 2020

21 September 2020

8 September 2020

21 August 2020

18 July 2020

6 July 2020

5 May 2020

16 April 2020

3 March 2020

19 February 2020

18 February 2020

14 February 2020

11 February 2020

7 February 2020

4 February 2020

20 January 2020

7 January 2020

31 December 2019

4 December 2019

26 November 2019

25 November 2019

11 November 2019

8 November 2019

24 October 2019

14 October 2019

2 October 2019

10 September 2019

19 July 2019

18 July 2019