Search results
From Event-B
Jump to navigationJump to searchCreate the page "Event-B Keyboard View" on this wiki! See also the search results found.
- This short help page provides necessary information on the Rodin Keyboard plug-in and also on how to extend the plug-in. The Rodin Keyboard plug-in creates a view (namely "Rodin Keyboard") under Event-B category.14 KB (1,930 words) - 12:58, 21 July 2010
- ...nsible keyboard for inputing mathematical formula (in Unicode). The Rodin keyboard provides the following facilities: ...he keyboard reacts and translate the content accordingly. Currently, RODIN Keyboard supports Text and StyledText widget.9 KB (1,367 words) - 11:59, 23 June 2014
- [[Image:RodinEditor_basicView1.png|450px|left|a basic view of the Rodin Editor on a context]] ...inherited elements which were formerly displayed only in the pretty print view). This is to solve all these issues that the Rodin Editor was created.4 KB (744 words) - 17:20, 3 June 2013
- === Rule Details view gets refreshed === ...of tree node, and then again the first node to trigger a refresh. Now, the view gets refreshed consistently as soon as the proof rule on the selected node7 KB (1,079 words) - 13:54, 12 July 2017
- * [[Rodin_Keyboard | Rodin Keyboard]] ...g.rodinp.keyboard</tt>, that defines a mere extension point <tt>org.rodinp.keyboard.symbols</tt> to define associations between an ASCII sequence and a symbol.9 KB (1,298 words) - 10:06, 28 July 2010
- : See [http://wiki.event-b.org/index.php/Event-B_Mathematical_Language Event-B Mathematical Language]. : When entering a predicate or expression in the Event-B machine / context editor, it is possible to type <tt>C-Space</tt> to see a7 KB (963 words) - 11:30, 27 January 2010
- * Event-B Editor ...y that the sections shall not be expanded when unfolding an element of the Event-B editor. By default, any section of an element is expanded (as in previous r11 KB (1,488 words) - 10:06, 28 July 2010
- ...the other ''General'' views. It is accessible through ''Window'' > ''Show view'' > ''Error Log'' and shows the contents of the log file. This provides ver ...> New" in menubar, button in the toolbar, context menu or buttons in the "Event-B Explorer", etc.), the same wizard is used.12 KB (1,642 words) - 13:21, 28 July 2010
- ...rp/files/DefaultAuto_ML800 DefaultAuto_ML800], then Window > Preferences > Event-B > Sequent Prover > Auto/Post Tactic > Profiles (tab) > Import..., point to ...din). These settings allow you to modify the properties set on the Event-B Keyboard Text Font which is used in many views of the Proving UI. However, to enjoy5 KB (703 words) - 14:37, 29 April 2022
- ...din). These settings allow you to modify the properties set on the Event-B Keyboard Text Font which is used in many views of the Proving UI. However, to enjoy ...rp/files/DefaultAuto_ML800 DefaultAuto_ML800], then Window > Preferences > Event-B > Sequent Prover > Auto/Post Tactic > Profiles (tab) > Import..., point to5 KB (758 words) - 16:28, 7 March 2018
- ...rp/files/DefaultAuto_ML800 DefaultAuto_ML800], then Window > Preferences > Event-B > Sequent Prover > Auto/Post Tactic > Profiles (tab) > Import..., point to ...din). These settings allow you to modify the properties set on the Event-B Keyboard Text Font which is used in many views of the Proving UI. However, to enjoy5 KB (775 words) - 12:00, 4 April 2023
- *'''Copy/Paste''' of components (machines/contexts/…) from Event-B Explorer. ...(old version or not installed) is properly displayed in the Proof Skeleton View.6 KB (909 words) - 13:48, 17 December 2014
- ...(free identifiers and their type). It is accessible through "Window > Show View > Type Environment" ...however disabled by default, you can enable it by "Window > Preferences > Event-B > Sequent Prover > Simplify complete proofs when saving"11 KB (1,542 words) - 08:35, 1 March 2012
- ..., ...), or a ''combination'' of tactics and profiles (see [http://handbook.event-b.org/current/html/preferences.html] at the bottom of the page). ...din). These settings allow you to modify the properties set on the Event-B Keyboard Text Font which is used in many views of the Proving UI. However, to enjoy11 KB (1,401 words) - 09:39, 8 November 2011
- ...s://www3.hhu.de/stups/handbook/rodin/current/html/files/EventB-Summary.pdf Event-B Cheat Sheet] available with the Rodin handbook. ...rp/files/DefaultAuto_ML800 DefaultAuto_ML800], then Window > Preferences > Event-B > Sequent Prover > Auto/Post Tactic > Profiles (tab) > Import..., point to8 KB (1,249 words) - 13:09, 11 September 2020
- ...din). These settings allow you to modify the properties set on the Event-B Keyboard Text Font which is used in many views of the Proving UI. However, to enjoy ...rp/files/DefaultAuto_ML800 DefaultAuto_ML800], then Window > Preferences > Event-B > Sequent Prover > Auto/Post Tactic > Profiles (tab) > Import..., point to10 KB (1,301 words) - 07:11, 29 August 2013
- ...din). These settings allow you to modify the properties set on the Event-B Keyboard Text Font which is used in many views of the Proving UI. However, to enjoy ...rp/files/DefaultAuto_ML800 DefaultAuto_ML800], then Window > Preferences > Event-B > Sequent Prover > Auto/Post Tactic > Profiles (tab) > Import..., point to10 KB (1,328 words) - 16:14, 3 August 2012
- ...e website for [http://tom.loria.fr/ Tom wiki]. The predefined patterns for Event-B is in ''org.eventb.core.ast'' project at the following location ''/tom/Form ...er to enter the formula, users are suggested to use the [[Event-B Keyboard View]].14 KB (1,788 words) - 17:33, 24 November 2010
- ...din). These settings allow you to modify the properties set on the Event-B Keyboard Text Font which is used in many views of the Proving UI. However, to enjoy Bug 2949652: Event-B editor doesn't refresh10 KB (1,277 words) - 13:45, 26 July 2011
- ...din). These settings allow you to modify the properties set on the Event-B Keyboard Text Font which is used in many views of the Proving UI. However, to enjoy Bug 3243479: Font is not updated in proof skeleton view10 KB (1,354 words) - 13:31, 1 July 2011