Main public logs

Combined display of all available logs of ProB Documentation. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 09:25, 2 May 2023 User account Jan Gruteser talk contribs was created by Ried talk contribs
• 09:08, 2 May 2023 Michael Leuschel talk contribs created page Rules-DSL (Created page with "== Rules DSL == Domain-Specific Language ...")
• 08:11, 24 January 2023 Michael Leuschel talk contribs created page File:ProB2UI VisB View ExportedHTML.png
• 08:11, 24 January 2023 Michael Leuschel talk contribs uploaded File:ProB2UI VisB View ExportedHTML.png
• 10:01, 13 January 2023 User account Backes-Schulz talk contribs was created by Ried talk contribs and password was sent by email
• 12:27, 17 November 2022 David Geleßus talk contribs created page Full Handbook (Created page with "This page lets you read the wiki content in a more traditional '''handbook''' format, with all wiki pages combined into a single page for easier reading. See Handbook for...")
• 11:44, 8 November 2022 Michael Leuschel talk contribs created page File:ProBTerminalizerReplDemo.gif
• 11:44, 8 November 2022 Michael Leuschel talk contribs uploaded File:ProBTerminalizerReplDemo.gif
• 11:38, 8 November 2022 Michael Leuschel talk contribs uploaded a new version of File:ProBTerminalizerDemo.gif
• 17:06, 6 November 2022 Michael Leuschel talk contribs created page File:ProBTerminalizerDemo.gif
• 17:06, 6 November 2022 Michael Leuschel talk contribs uploaded File:ProBTerminalizerDemo.gif
• 11:06, 24 June 2022 Michael Leuschel talk contribs created page Citing ProB (Created page with " The initial conference publication was: * Michael Leuschel & Michael Butler (2003): ProB: A Model Checker for B. In Keijiro Araki, Stefania Gnesi & Dino Mandrioli, editors:...")
• 06:25, 25 March 2022 Michael Leuschel talk contribs deleted page File:ProB2UI VisB View Export.png (Deleted old revision 20220325062502!ProB2UI_VisB_View_Export.png)
• 06:25, 25 March 2022 Michael Leuschel talk contribs uploaded a new version of File:ProB2UI VisB View Export.png
• 06:23, 25 March 2022 Michael Leuschel talk contribs created page File:ProB2UI VisB Debug Table View.png
• 06:23, 25 March 2022 Michael Leuschel talk contribs uploaded File:ProB2UI VisB Debug Table View.png
• 06:23, 25 March 2022 Michael Leuschel talk contribs created page File:ProB2UI VisB View Export.png
• 06:23, 25 March 2022 Michael Leuschel talk contribs uploaded File:ProB2UI VisB View Export.png
• 11:02, 4 March 2022 Michael Leuschel talk contribs deleted page File:DisproverProB2UIStateView2.png (Deleted old revision 20220304110220!DisproverProB2UIStateView2.png)
• 11:02, 4 March 2022 Michael Leuschel talk contribs uploaded a new version of File:DisproverProB2UIStateView2.png
• 09:31, 4 March 2022 Michael Leuschel talk contribs created page File:DisproverExportExample.png
• 09:31, 4 March 2022 Michael Leuschel talk contribs uploaded File:DisproverExportExample.png
• 09:26, 4 March 2022 Michael Leuschel talk contribs created page File:DisproverProB2UIStateView2.png
• 09:26, 4 March 2022 Michael Leuschel talk contribs uploaded File:DisproverProB2UIStateView2.png
• 09:26, 4 March 2022 Michael Leuschel talk contribs created page File:DisproverProB2UIStateView1.png
• 09:26, 4 March 2022 Michael Leuschel talk contribs uploaded File:DisproverProB2UIStateView1.png
• 09:26, 4 March 2022 Michael Leuschel talk contribs created page File:CBCStaticAssertionCheck.png
• 09:26, 4 March 2022 Michael Leuschel talk contribs uploaded File:CBCStaticAssertionCheck.png
• 08:42, 4 March 2022 Michael Leuschel talk contribs created page File:DisproverPrefs.png
• 08:42, 4 March 2022 Michael Leuschel talk contribs uploaded File:DisproverPrefs.png
• 08:49, 24 January 2022 Michael Leuschel talk contribs created page File:ProB AtelierB StartProB Menu.png
• 08:49, 24 January 2022 Michael Leuschel talk contribs uploaded File:ProB AtelierB StartProB Menu.png
• 07:20, 27 November 2021 Michael Leuschel talk contribs created page File:Lift proj.png
• 07:20, 27 November 2021 Michael Leuschel talk contribs uploaded File:Lift proj.png
• 07:18, 27 November 2021 Michael Leuschel talk contribs created page File:Lift proj.pdf
• 07:18, 27 November 2021 Michael Leuschel talk contribs uploaded File:Lift proj.pdf
• 09:33, 24 November 2021 Michael Leuschel talk contribs created page File:ProBUMLSeqChartCmd.png
• 09:33, 24 November 2021 Michael Leuschel talk contribs uploaded File:ProBUMLSeqChartCmd.png
• 09:17, 24 November 2021 Michael Leuschel talk contribs created page File:ProBUMLSeqCharScheduler.png
• 09:17, 24 November 2021 Michael Leuschel talk contribs uploaded File:ProBUMLSeqCharScheduler.png
• 08:53, 24 November 2021 Michael Leuschel talk contribs created page Generating UML Sequence Charts (Created page with "= UML Sequence Charts for Traces ProB has a new experimental feature to generate a UML sequence chart from the current animation trace. It currently only works for classical...")
• 16:25, 2 October 2021 Michael Leuschel talk contribs created page Tips for Large Specifications (Created page with " If you have very large B machines, the following tips can be useful. Indeed, when you have very large B machines with hundreds of thousands or millions of lines of code, the...")
• 15:59, 15 June 2021 David Geleßus talk contribs created page Handbook/ProB Prolog Guide (Created page with "__TOC__ = Running ProB from source = {{:Running ProB from source}} = Building ProB on Windows = {{:Building ProB on Windows}} = Organization of ProB Sources = {...")
• 15:53, 15 June 2021 David Geleßus talk contribs created page Handbook/ProB 2 Java API (Created page with "= ProB Java API = {{:ProB Java API}} = Programmatic Abstractions in the ProB 2.0 API = {{:Programmatic Abstractions in the ProB 2.0 API}}")
• 15:52, 15 June 2021 David Geleßus talk contribs created page Handbook/ProB 2 UI (Created page with "= ProB2-UI = {{:ProB2-UI}} = History View = {{:History View}} = Project View = {{:Project View}} = Verification View = {{:Verification View}} = Statistic...")
• 15:51, 15 June 2021 David Geleßus talk contribs created page Handbook/ProB 2 (Created page with "= ProB 2.0 Development = {{:ProB 2.0 Development}} = ProB 2.0 within Rodin and a HTML Visualization Example = {{:ProB 2.0 within Rodin and a HTML Visualization Exampl...")
• 15:49, 15 June 2021 David Geleßus talk contribs created page Handbook/Advanced Features (Created page with "= Bash Completion = {{:Bash Completion}} = Common Subexpression Elimination = {{:Common Subexpression Elimination}} = The ProB Search Path = {{:PROBPAT...")
• 15:46, 15 June 2021 David Geleßus talk contribs created page Handbook/Other Languages (Created page with "Also see the following tutorials: * Tutorial Rodin First Step * Tutorial Rodin Parameters * Tutorial Rodin Exporting * Tutorial Symbolic Constants * Tutoria...")
• 15:38, 15 June 2021 David Geleßus talk contribs created page Handbook/Command Line (Created page with "= ProB Cli = {{:ProB Cli}} = Using the Command-Line Version of ProB = {{:Using the Command-Line Version of ProB}}")
• 15:36, 15 June 2021 David Geleßus talk contribs created page Handbook/Visualisation (Created page with "__TOC__ = Graphical Viewer = {{:Graphical Viewer}} = State Space Visualization = {{:State Space Visualization}} = State space visualization examples = {{:State...")