Search results

From Event-B
Jump to navigationJump to search

Create the page "Event-B Keyboard View" on this wiki! See also the search results found.

  • Rodin Platform 2.5 Release Notes
    ...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 to
    11 KB (1,478 words) - 17:32, 2 May 2012
  • ADVANCE D3.2 General Platform Maintenance
    ...t as users wishes and requests were collected along. At the same time, the Event-B models and proof got bigger and bigger, in the same way as the experience o Release Notes<ref name="relNotes">http://wiki.event-b.org/index.php/Rodin_Platform_Releases</ref> and the SourceForge trackers<re
    20 KB (3,030 words) - 13:18, 18 July 2012

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)

Retrieved from ‘https://wiki.event-b.org/index.php/Special:Search’