https://prob.hhu.de/w/index.php?action=history&feed=atom&title=Handbook%2FAdvanced_Features 2026-05-27T07:50:15Z Revision history for this page on the wiki MediaWiki 1.43.8 https://prob.hhu.de/w/index.php?title=Handbook/Advanced_Features&diff=6030&oldid=prev 2025-10-28T07:09:15Z

<p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 07:09, 28 October 2025</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>= [[Bash Completion]] =</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>= [[Bash Completion]] =</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{{:Bash Completion}}</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{{:Bash Completion}}</div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">= [[B2SAT]] =</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">{{:B2SAT}}</ins></div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>= [[Common Subexpression Elimination]] =</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>= [[Common Subexpression Elimination]] =</div></td></tr> </table>

Jan Gruteser https://prob.hhu.de/w/index.php?title=Handbook/Advanced_Features&diff=4994&oldid=prev 2021-06-15T15:49:08Z

<p>Created page with &quot;= <a href="/w/index.php?title=Bash_Completion" title="Bash Completion">Bash Completion</a> = {{:Bash Completion}} = <a href="/w/index.php?title=Common_Subexpression_Elimination" title="Common Subexpression Elimination">Common Subexpression Elimination</a> = {{:Common Subexpression Elimination}} = <a href="/w/index.php?title=PROBPATH" title="PROBPATH">The ProB Search Path</a> = {{:PROBPAT...&quot;</p> <p><b>New page</b></p><div>= [[Bash Completion]] =<br /> {{:Bash Completion}}<br /> <br /> = [[Common Subexpression Elimination]] =<br /> {{:Common Subexpression Elimination}}<br /> <br /> = [[PROBPATH|The ProB Search Path]] =<br /> {{:PROBPATH}}<br /> {{DISPLAYTITLE:Handbook/Advanced Features}} &lt;!-- Undo custom display title set by PROBPATH page --&gt;<br /> <br /> = [[TLC]] =<br /> {{:TLC}}<br /> <br /> = [[Generating Documents with ProB and Latex]] =<br /> {{:Generating Documents with ProB and Latex}}<br /> <br /> = [[Using ProB with Atelier B]] =<br /> {{:Using ProB with Atelier B}}<br /> <br /> = [[Using ProB with KODKOD]] =<br /> {{:Using ProB with KODKOD}}<br /> <br /> = [[Using ProB with Z3]] =<br /> {{:Using ProB with Z3}}</div>

David Geleßus