Difference between pages "Handbook Content Migration" and "Main Page"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Jastram
(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...)
 
imported>WikiSysop
 
Line 1: Line 1:
−
== Goals ==
+
== Event-B.org support wiki ==
−
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 content is accessible at all times
+
[[Rodin User Manual]]
  
−
* Content is always managed in one place only
+
[[Rodin Developer Support]]
  
−
* We prevent stale content from being edited.
+
[[Test area]]
  
−
== Method ==
+
== Getting started ==
  
−
We will achieve this with a rather simple mechanism: Migrated wiki content will be marked with the following banner:
+
Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.
  
−
{| class="wikitable" style="font-style:italic; text-align: center; font-size:120%; border: 3px dashed red;"
+
* [http://www.mediawiki.org/wiki/Manual:Configuration_settings Configuration settings list]
−
|-
+
* [http://www.mediawiki.org/wiki/Manual:FAQ MediaWiki FAQ]
−
! scope="col" | Do not edit!  This content has been migrated to Subversion.
+
* [http://lists.wikimedia.org/mailman/listinfo/mediawiki-announce MediaWiki release mailing list]
−
|-
 
−
|(TODO: Link to nightly Jenkins build of Handbook)
 
−
|}
 
−
 
 
−
== Impact ==
 
−
 
 
−
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.
 
−
 
 
−
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.
 
−
 
 
−
The next release is scheduled for September 2011.
 

Revision as of 16:23, 26 March 2008

Event-B.org support wiki

Rodin User Manual

Rodin Developer Support

Test area

Getting started

Consult the User's Guide for information on using the wiki software.

Retrieved from ‘https://wiki.event-b.org/index.php?title=Handbook_Content_Migration&oldid=5867’