Search results

From Event-B
Jump to navigationJump to search

Create the page "User page" on this wiki! See also the search results found.

  • Camille Editor
    ...ularly or watching this page for changes. We will announce updates on this page too.'' To get a first impression also visit the [[TextEditor Screenshots|screenshot page]].
    6 KB (945 words) - 12:22, 27 January 2015
  • Rose (Structured) Editor
    ''This page is under development'' ...of the element. This contains details which are otherwise hidden from the user.
    3 KB (507 words) - 07:02, 1 August 2011
  • Building Rodin Headless
    This page documents the procedure followed for building the binary packages of the Ro # the full platform version used for provisioning, and which is the user-visible version which is displayed in ''About Rodin Platform''. This versio
    6 KB (928 words) - 15:50, 11 September 2020
  • Proof Skeleton Design
    The Proof Skeleton View gives the user the ability to quickly browse the skeleton of a proof, without having to pr DetailsPageProvider : returns the sequent details page when a proof tree node is selected
    2 KB (254 words) - 12:54, 12 August 2009
  • Layout improvements in the event-B editor
    The intention of this page is to collect and discuss possible improvements of the layout in the event- In a user feedback report posted on the Deploy WP9 mailing list, Michael Leuschel rep
    1 KB (215 words) - 12:08, 12 August 2009
  • Event-B XText Front-end User Guide
    The complete Event-B XText Front-end User Guide is available as pdf [https://sourceforge.net/projects/rodin-b-sharp/f ...of this editor, see [[Event-B_XText_Front-end|the Event-B XText Front-end page]].<br>
    2 KB (231 words) - 23:27, 21 July 2017
  • Past Developments
    This page sum up the developments recently done around or for the [[Rodin Platform]], ...a model can be tagged as generated by a tool, in order to prevent the end-user from directly editing them (and their descendants).
    6 KB (915 words) - 16:57, 27 February 2014
  • ADVANCE Deliverable D3.3
    The purpose of this page is to give a common structure and guidelines to collaboratively build the A ...g second period of the project (Sept 2012-Sept 2013). The contents of each page should not go deeply into technical details, but should rather look like an
    6 KB (830 words) - 13:21, 7 October 2013
  • CamilleX User Guide
    The CamilleX User Guide is available as pdf '''[https://sourceforge.net/projects/rodin-b-shar ...ore details about the principles on CamilleX, see the [[CamilleX|CamilleX page]].<br>
    2 KB (281 words) - 12:31, 9 March 2023
  • Pattern
    [[User:afuerst]] at '''ETH Zurich''' is in charge of the [[Pattern]] plug-in. As there are usually multiple guards and action in an event, the user has (at the current state of the tool) to declare which guards and actions
    17 KB (2,670 words) - 15:07, 24 January 2012
  • Constrained Dynamic Lexer
    This page describes the requirements for a '''parameterizable lexical analyser''' (i. mathematical language syntax can be extended by the final user.
    3 KB (440 words) - 09:10, 1 March 2010
  • Proof Obligation Commands
    In this page are presented various proof obligations commands that can be run from the E ...discharged using the auto prover, else there is no mark, meaning that the user had to edit the proof by hand (even partially).
    3 KB (457 words) - 10:43, 18 March 2010
  • User Documentation Overhaul
    '''Minimize the access to an expert a user of Event-B/Rodin needs to be productive.''' We maintain a separate page [[Documentation Overhaul DoW]] that lists the Description of Work, Work Pac
    5 KB (720 words) - 11:28, 15 September 2011
  • AnimB limitations
    Below we list some guidelines of how to prevent such problems. This page will be continuously updated. [[Category:User documentation]]
    2 KB (287 words) - 08:56, 27 September 2010
  • Rodin Workshop 2023
    ==10th Rodin User and Developer Workshop== The 10th Rodin User and Developer Workshop, 30th May, 2023, Nancy, France
    3 KB (375 words) - 15:36, 26 May 2023
  • Theory Plug-in
    ...and the proving infrastructure in a familiar fashion to Rodin users. This page provides useful information about the plug-in and its capabilities. ...olymorphic theorems. The [http://wiki.event-b.org/images/Theory_Plugin.pdf user manual] provides a guide to developing and using theories.
    7 KB (958 words) - 14:53, 14 June 2021
  • Proof Simplification
    ...of proof trees, one can have a look at the [[Proof_Manager|Proof Manager]] page. But before the user saves its proof, he or she is modifying it, so the proof is unstable and un
    3 KB (496 words) - 12:58, 12 August 2009
  • Rodin Keyboard User Guide
    This short help page provides necessary information on the Rodin Keyboard plug-in and also on ho ...the Unicode characters for the mathematical language. From the Preferences page, you can choose the font, the style and the size for the text area.
    14 KB (1,930 words) - 12:58, 21 July 2010
  • Atomicity Decomposition Plug-in User Guide
    ...iki.event-b.org/index.php/Atomicity_Decomposition Atomicity Decomposition] page for technical details. ...iki.event-b.org/index.php/Atomicity_Decomposition Atomicity Decomposition] page). This is done by right-clicking on the machine and launch ''Atomicity Deco
    6 KB (912 words) - 15:13, 21 August 2012
  • Current Developments
    This page sum up the known developments that are being done around or for the [[Rodin The efforts in [[Düsseldorf]] ([[User:Fabian|Fabian]]) and [[Newcastle]] ([[User:Alexei|Alexei]]) have been joined to create a single text editor which will
    12 KB (1,869 words) - 16:35, 18 March 2014

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

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