Rodin Keyboard User Guide

From Event-B
Revision as of 15:10, 17 February 2010 by imported>Pascal (→‎Creation)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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:

  1. Go to Window/Show View/Other.
  2. 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).

Special Combos

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