User contributions

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

• 21:15, 14 October 2019 (diff | hist) . . (0)‎ . . Download ‎ (→‎Latest Beta Release) (current)
• 09:43, 2 October 2019 (diff | hist) . . (+26)‎ . . Download ‎ (→‎ProB2 UI using Java FX)
• 08:06, 29 September 2019 (diff | hist) . . (+199)‎ . . Using the Command-Line Version of ProB ‎ (→‎-logxml) (current)
• 08:05, 29 September 2019 (diff | hist) . . (-6)‎ . . Using the Command-Line Version of ProB ‎ (→‎-logxml)
• 08:03, 29 September 2019 (diff | hist) . . (-30,030)‎ . . File:Logxml xsd.xml ‎ (Replaced content with "logxml_xsd.xml") (current)
• 08:02, 29 September 2019 (diff | hist) . . (+30,044)‎ . . N File:Logxml xsd.xml ‎ (Created page with "<?xml version="1.0" encoding="UTF-8"?> <!-- Schema Declaration file for probcli's xml log files generated by -logxml XMLFILE command --> <!-- Version: 29th September 2019, for...")
• 08:02, 29 September 2019 (diff | hist) . . (+135)‎ . . Using the Command-Line Version of ProB ‎ (→‎-logxml)
• 14:31, 24 September 2019 (diff | hist) . . (+150)‎ . . Tutorial Rodin Parameters ‎ (→‎Size of unspecified sets (carrier sets)) (current)
• 08:28, 23 September 2019 (diff | hist) . . (+402)‎ . . Tutorial Rodin Parameters ‎ (→‎Size of unspecified sets (carrier sets))
• 16:19, 10 September 2019 (diff | hist) . . (-2)‎ . . Download ‎ (→‎Latest Beta Release)
• 09:57, 20 July 2019 (diff | hist) . . (+557)‎ . . ProB2 JavaFX UI ‎ (current)
• 09:48, 20 July 2019 (diff | hist) . . (0)‎ . . ProB2 JavaFX UI ‎ (→‎The ProB2 JavaFX Main Window)
• 09:47, 20 July 2019 (diff | hist) . . (-43)‎ . . ProB2 JavaFX UI ‎ (→‎The ProB2 JavaFX Main Window)
• 09: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)
• 09:45, 20 July 2019 (diff | hist) . . (0)‎ . . N File:ProB2JavaFX UI Overview New.png ‎
• 09:45, 20 July 2019 (diff | hist) . . (+48)‎ . . ProB2 JavaFX UI ‎
• 13:27, 19 July 2019 (diff | hist) . . (-32)‎ . . The ProB Animator and Model Checker ‎ (→‎Versions of ProB) (current)
• 13:26, 19 July 2019 (diff | hist) . . (+1)‎ . . The ProB Animator and Model Checker ‎ (→‎Versions of ProB)
• 13:26, 19 July 2019 (diff | hist) . . (-129)‎ . . The ProB Animator and Model Checker ‎ (→‎Versions of ProB)
• 13:25, 19 July 2019 (diff | hist) . . (+555)‎ . . The ProB Animator and Model Checker ‎ (→‎Versions of ProB)
• 13:23, 19 July 2019 (diff | hist) . . (-1)‎ . . Download ‎ (→‎Java Requirements for B parser)
• 13:23, 19 July 2019 (diff | hist) . . (+63)‎ . . Download ‎ (→‎Java Requirements for B parser)
• 13:22, 19 July 2019 (diff | hist) . . (+19)‎ . . Download ‎ (→‎ProB2 UI using Java FX)
• 13:21, 19 July 2019 (diff | hist) . . (-22)‎ . . Download ‎ (→‎ProB2 UI using Java FX)
• 13:21, 19 July 2019 (diff | hist) . . (+164)‎ . . Download ‎ (→‎ProB2 UI using Java FX)
• 13:20, 19 July 2019 (diff | hist) . . (+62)‎ . . The ProB Animator and Model Checker ‎ (→‎Versions of ProB)
• 13:18, 19 July 2019 (diff | hist) . . (+101)‎ . . The ProB Animator and Model Checker ‎ (→‎Versions of ProB)
• 13:17, 19 July 2019 (diff | hist) . . (+61)‎ . . Download ‎ (→‎ProB2 UI using Java FX)
• 13:15, 19 July 2019 (diff | hist) . . (+376)‎ . . Download ‎ (→‎ProB2 UI using Java FX)
• 13:11, 19 July 2019 (diff | hist) . . (+6)‎ . . The ProB Animator and Model Checker ‎
• 13:11, 19 July 2019 (diff | hist) . . (-226)‎ . . The ProB Animator and Model Checker ‎
• 11:14, 19 July 2019 (diff | hist) . . (+257)‎ . . ProB Java API ‎ (→‎Download) (current)
• 11:12, 19 July 2019 (diff | hist) . . (+20)‎ . . ProB Java API ‎ (→‎Documentation)
• 10:53, 19 July 2019 (diff | hist) . . (+8)‎ . . The ProB Animator and Model Checker ‎ (→‎Versions of ProB)
• 10:52, 19 July 2019 (diff | hist) . . (-41)‎ . . The ProB Animator and Model Checker ‎ (→‎Versions of ProB)
• 10:52, 19 July 2019 (diff | hist) . . (-16)‎ . . The ProB Animator and Model Checker ‎ (→‎Versions of ProB)
• 10:51, 19 July 2019 (diff | hist) . . (+1,109)‎ . . The ProB Animator and Model Checker ‎
• 10:40, 19 July 2019 (diff | hist) . . (+50)‎ . . The ProB Animator and Model Checker ‎
• 14:12, 18 July 2019 (diff | hist) . . (+93)‎ . . VisB ‎ (→‎VisB) (current)
• 14:05, 18 July 2019 (diff | hist) . . (+126)‎ . . VisB ‎ (→‎Installing VisB Plugin)
• 14:04, 18 July 2019 (diff | hist) . . (+1,500)‎ . . N VisB ‎ (Created page with "== VisB == VisB is a plugin for ProB2-UI. It can be downloaded at [https://www3.hhu.de/stups/downloads/prob2/plugins/ https://www3.hhu.de/stups/downloads/prob2/plugins/]. ==...")
• 13:58, 18 July 2019 (diff | hist) . . (+178)‎ . . Download ‎ (→‎ProB2 UI using Java FX)
• 13:51, 18 July 2019 (diff | hist) . . (-9)‎ . . Download ‎ (→‎ProB2 UI using Java FX)
• 13:50, 18 July 2019 (diff | hist) . . (0)‎ . . Download ‎ (→‎ProB2 UI using Java FX)
• 16:43, 12 July 2019 (diff | hist) . . (+6)‎ . . Download ‎ (→‎Latest Release)
• 16:42, 12 July 2019 (diff | hist) . . (+6)‎ . . Download ‎ (→‎Latest Release)
• 16:39, 12 July 2019 (diff | hist) . . (+6)‎ . . Download ‎ (→‎Latest Release)
• 16:38, 12 July 2019 (diff | hist) . . (+51)‎ . . Download ‎ (→‎Latest Release)
• 13:41, 12 July 2019 (diff | hist) . . (+38)‎ . . Download ‎ (→‎Latest Release)
• 13:38, 12 July 2019 (diff | hist) . . (0)‎ . . Download ‎ (→‎Latest Release)

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