User contributions for Michael Leuschel

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

13:17, 17 January 2020 (diff | hist) . . (-99)‎ . . Links ‎ (→‎Related Tools) (current)
13:15, 17 January 2020 (diff | hist) . . (+10)‎ . . Links ‎ (→‎Related Tools)
11:23, 17 January 2020 (diff | hist) . . (+115)‎ . . VisB ‎ (current)
12:17, 7 January 2020 (diff | hist) . . (+2)‎ . . Test Case Generation ‎ (→‎From the command line) (current)
12:16, 7 January 2020 (diff | hist) . . (0)‎ . . Download ‎ (→‎ProB2 UI using Java FX) (current)
11:16, 31 December 2019 (diff | hist) . . (0)‎ . . Download ‎ (→‎Latest Beta Release)
10:13, 4 December 2019 (diff | hist) . . (+154)‎ . . Download ‎ (→‎Tcl/Tk on Mac OS/X)
10:06, 2 December 2019 (diff | hist) . . (-15)‎ . . Links ‎ (→‎Tools using ProB)
10:05, 2 December 2019 (diff | hist) . . (+253)‎ . . Links ‎ (→‎Tools using ProB)
16:42, 26 November 2019 (diff | hist) . . (-1)‎ . . Download ‎ (→‎ProB2 UI using Java FX)
16:42, 26 November 2019 (diff | hist) . . (+136)‎ . . Download ‎ (→‎ProB2 UI using Java FX)
16:41, 26 November 2019 (diff | hist) . . (+95)‎ . . Download ‎ (→‎Java Requirements for B parser)
13:46, 25 November 2019 (diff | hist) . . (0)‎ . . Download ‎ (→‎Latest Beta Release)
20:15, 11 November 2019 (diff | hist) . . (+78)‎ . . Download ‎ (→‎Short Release History)
20:14, 11 November 2019 (diff | hist) . . (+1)‎ . . The ProB Animator and Model Checker ‎ (current)
20:14, 11 November 2019 (diff | hist) . . (0)‎ . . The ProB Animator and Model Checker ‎
20:13, 11 November 2019 (diff | hist) . . (+3)‎ . . Download ‎ (→‎Latest Release)
20:12, 11 November 2019 (diff | hist) . . (+1,792)‎ . . DownloadPriorVersions ‎ (→‎Prior Versions of ProB) (current)
12:35, 8 November 2019 (diff | hist) . . (+55)‎ . . The ProB Animator and Model Checker ‎
12:34, 8 November 2019 (diff | hist) . . (+76)‎ . . Download ‎ (→‎Short Release History)
12:32, 8 November 2019 (diff | hist) . . (+599)‎ . . ProB Release History ‎ (current)
12:31, 8 November 2019 (diff | hist) . . (0)‎ . . Download ‎ (→‎Latest Release)
12:30, 8 November 2019 (diff | hist) . . (+3)‎ . . DownloadPriorVersions ‎ (→‎Prior Versions of ProB)
12:29, 8 November 2019 (diff | hist) . . (+1,792)‎ . . DownloadPriorVersions ‎
12:26, 24 October 2019 (diff | hist) . . (0)‎ . . Download ‎ (→‎Latest Beta Release)
20:15, 14 October 2019 (diff | hist) . . (0)‎ . . Download ‎ (→‎Latest Beta Release)
08:43, 2 October 2019 (diff | hist) . . (+26)‎ . . Download ‎ (→‎ProB2 UI using Java FX)
07:06, 29 September 2019 (diff | hist) . . (+199)‎ . . Using the Command-Line Version of ProB ‎ (→‎-logxml) (current)
07:05, 29 September 2019 (diff | hist) . . (-6)‎ . . Using the Command-Line Version of ProB ‎ (→‎-logxml)
07:03, 29 September 2019 (diff | hist) . . (-30,030)‎ . . File:Logxml xsd.xml ‎ (Replaced content with "logxml_xsd.xml") (current)
07:02, 29 September 2019 (diff | hist) . . (+30,044)‎ . . N File:Logxml xsd.xml ‎ (Created page with "<?xml version="1.0" encoding="UTF-8"?>  <!-- Version: 29th September 2019, for...")
07:02, 29 September 2019 (diff | hist) . . (+135)‎ . . Using the Command-Line Version of ProB ‎ (→‎-logxml)
13:31, 24 September 2019 (diff | hist) . . (+150)‎ . . Tutorial Rodin Parameters ‎ (→‎Size of unspecified sets (carrier sets)) (current)
07:28, 23 September 2019 (diff | hist) . . (+402)‎ . . Tutorial Rodin Parameters ‎ (→‎Size of unspecified sets (carrier sets))
15:19, 10 September 2019 (diff | hist) . . (-2)‎ . . Download ‎ (→‎Latest Beta Release)
08:57, 20 July 2019 (diff | hist) . . (+557)‎ . . ProB2 JavaFX UI ‎ (current)
08:48, 20 July 2019 (diff | hist) . . (0)‎ . . ProB2 JavaFX UI ‎ (→‎The ProB2 JavaFX Main Window)
08:47, 20 July 2019 (diff | hist) . . (-43)‎ . . ProB2 JavaFX UI ‎ (→‎The ProB2 JavaFX Main Window)
08:46, 20 July 2019 (diff | hist) . . (0)‎ . . File:ProB2JavaFX UI Overview New.png ‎ (Michael Leuschel uploaded a new version of File:ProB2JavaFX UI Overview New.png) (current)
08:45, 20 July 2019 (diff | hist) . . (0)‎ . . N File:ProB2JavaFX UI Overview New.png ‎
08:45, 20 July 2019 (diff | hist) . . (+48)‎ . . ProB2 JavaFX UI ‎
12:27, 19 July 2019 (diff | hist) . . (-32)‎ . . The ProB Animator and Model Checker ‎ (→‎Versions of ProB)
12:26, 19 July 2019 (diff | hist) . . (+1)‎ . . The ProB Animator and Model Checker ‎ (→‎Versions of ProB)
12:26, 19 July 2019 (diff | hist) . . (-129)‎ . . The ProB Animator and Model Checker ‎ (→‎Versions of ProB)
12:25, 19 July 2019 (diff | hist) . . (+555)‎ . . The ProB Animator and Model Checker ‎ (→‎Versions of ProB)
12:23, 19 July 2019 (diff | hist) . . (-1)‎ . . Download ‎ (→‎Java Requirements for B parser)
12:23, 19 July 2019 (diff | hist) . . (+63)‎ . . Download ‎ (→‎Java Requirements for B parser)
12:22, 19 July 2019 (diff | hist) . . (+19)‎ . . Download ‎ (→‎ProB2 UI using Java FX)
12:21, 19 July 2019 (diff | hist) . . (-22)‎ . . Download ‎ (→‎ProB2 UI using Java FX)
12:21, 19 July 2019 (diff | hist) . . (+164)‎ . . Download ‎ (→‎ProB2 UI using Java FX)

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)