Rodin Keyboard User Guide
From Event-B
Revision as of 15:10, 17 February 2010 by imported>Pascal (→Creation)
Introduction
This short help page provides necessary information on the Rodin Keyboard plug-in and also on how to extend the plug-in.
Getting Started
Overview
The Rodin Keyboard plug-in creates a view (namely "RODIN Keyboard") under Event-B category.
You can open "RODIN Keyboard" view now:
- Go to Window/Show View/Other.
- Choose the "RODIN Keyboard" view from the Event-B category.
The view contains a text area which takes an ASCII input and translate it into the mathematical language (defined by extensions).
