Information for "Creating a new plugin using eclipse (How to extend Rodin Tutorial)"

From Event-B
Jump to: navigation, search

Basic information

Display titleCreating a new plugin using eclipse (How to extend Rodin Tutorial)
Redirects toCreating a new plug-in using eclipse (How to extend Rodin Tutorial) (info)
Default sort keyCreating a new plugin using eclipse (How to extend Rodin Tutorial)
Page length (in bytes)81
Page ID1148
Page content languageen - English
Page content modelwikitext
Indexing by robotsAllowed
Number of redirects to this page0

Page protection

EditAllow all users (infinite)
MoveAllow all users (infinite)

Edit history

Page creatorPascal (talk | contribs)
Date of page creation15:48, 23 August 2010
Latest editorPascal (talk | contribs)
Date of latest edit15:48, 23 August 2010
Total number of edits1
Total number of distinct authors1
Recent number of edits (within past 90 days)0
Recent number of distinct authors0