https://wiki.event-b.org/index.php?action=history&feed=atom&title=Handbook_Content_Migration 2026-05-15T04:30:32Z Revision history for this page on the wiki MediaWiki 1.42.1 https://wiki.event-b.org/index.php?title=Handbook_Content_Migration&diff=5497&oldid=prev 2011-06-30T11:42:30Z

<p><span dir="auto"><span class="autocomment">Method</span></span></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-GB"> <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 11:42, 30 June 2011</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l16">Line 16:</td> <td colspan="2" class="diff-lineno">Line 16:</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>! scope=&quot;col&quot; | Do not edit!  This content has been migrated to Subversion.</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>! scope=&quot;col&quot; | Do not edit!  This content has been migrated to Subversion.</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>|-</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>|-</div></td></tr> <tr><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: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>|(<del style="font-weight: bold; text-decoration: none;">TODO</del>: <del style="font-weight: bold; text-decoration: none;">Link to nightly Jenkins </del>build <del style="font-weight: bold; text-decoration: none;">of </del>Handbook)</div></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;">[http</ins>:<ins style="font-weight: bold; text-decoration: none;">//www.stups.uni-duesseldorf.de/~jenkins/org.rodinp.handbook.feature/</ins>build<ins style="font-weight: bold; text-decoration: none;">/html/ Nightly </ins>Handbook <ins style="font-weight: bold; text-decoration: none;">Build]</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;"><div>|}</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>|}</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> </table>

imported>Jastram https://wiki.event-b.org/index.php?title=Handbook_Content_Migration&diff=5496&oldid=prev 2011-06-13T14:00:37Z

<p>New page: == Goals == For the Rodin Handbook Project, we will migrate some of the Wiki content to Latex, to be managed in SVN. Our objective of the content migration guide is to ensure that: * All...</p> <p><b>New page</b></p><div>== Goals ==<br /> For the Rodin Handbook Project, we will migrate some of the Wiki content to Latex, to be managed in SVN. Our objective of the content migration guide is to ensure that:<br /> <br /> * All content is accessible at all times<br /> <br /> * Content is always managed in one place only<br /> <br /> * We prevent stale content from being edited.<br /> <br /> == Method ==<br /> <br /> We will achieve this with a rather simple mechanism: Migrated wiki content will be marked with the following banner:<br /> <br /> {| class=&quot;wikitable&quot; style=&quot;font-style:italic; text-align: center; font-size:120%; border: 3px dashed red;&quot;<br /> |-<br /> ! scope=&quot;col&quot; | Do not edit! This content has been migrated to Subversion.<br /> |-<br /> |(TODO: Link to nightly Jenkins build of Handbook)<br /> |}<br /> <br /> == Impact ==<br /> <br /> We will definitely migrate the pages that are currently part of the Eclipse Help System (18 pages). We inspected the history and noted few modifications, on the order of one every six months.<br /> <br /> We intend to migrate these pages before the next Rodin release. This has two advantages: First, we will be able to roll out the new help system with the next Rodin release. While the documentation will not be complete at that point, it will definitely contain more information than it does right now. Second, we will be able to solicit feedback on the Eclipse-version of the Handbook, before this project ends, allowing us to incorporate feedback from users of the Eclipse Help System as well.<br /> <br /> The next release is scheduled for September 2011.</div>

imported>Jastram