Search results

From Event-B
Jump to navigationJump to search

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

  • Help:Navigation
    When viewing any page on this wiki, you'll find three main navigation elements: ...]) which relate to the page currently displayed: its associated discussion page, the version history, and—most notably—the edit link.
    7 KB (1,106 words) - 23:22, 4 July 2008
  • Mathieu/Main Page
    ...just a private place for some tests towards a hopefully fullfeatured Main Page'' [[Rodin Platform|Rodin Platform User Support]]
    295 bytes (39 words) - 22:09, 4 July 2008
  • All Rewrite Rules
    ...Any modification to this page shall be announced on the [[#Mailing_lists |User]] mailing list!</font> This page groups together all the rewrite rules implemented (or planned for implement
    739 bytes (98 words) - 13:29, 26 April 2013
  • Event-B Modelling Language
    This page gives a brief summary of documents describing Event-B's modeling notation. [[Category:User documentation]]
    410 bytes (54 words) - 08:45, 27 October 2011
  • Talk:Main Page
    == Main page a bit terse ? == ...nder if this page doesn't look a bit terse, knowing it is the main landing page for the event-b wiki. Perhaps should we add some introduction material abou
    3 KB (395 words) - 08:48, 7 January 2010
  • User talk:Pascal
    ...ki.event-b.org%2Findex.php%2FMain_Page&aq=f&oq=&aqi= google cache page]. [[User:Mathieu|mathieu]] 16:05, 21 September 2009 (UTC) --[[User:Pascal|cpascal]] 16:44, 21 September 2009 (UTC)
    2 KB (281 words) - 08:41, 22 September 2009
  • Template:Main Page/Community
    == Displayed as follow on the Main Page == ...iki.event-b.org/index.php/Rodin_Workshop_2024 Rodin 2024 -- The 11th Rodin User and Developer Workshop on 25 June 2024 (co-located with ABZ2024).]
    3 KB (394 words) - 12:45, 15 April 2024
  • User:Mathieu/monobook.js
    // [[User:Lupin/popups.js]] - please include this line + 'http://wiki.event-b.org/index.php?title=User:Mathieu/popup.js'
    9 KB (873 words) - 12:46, 25 September 2008
  • Help:Talk pages
    ...by clicking the ''Discussion'' tab at the top of the page. Simply edit the page as normal to add your comment. ...rticles in the 'main' namespace (See [[Help:namespaces]]) As with any wiki page, you can edit it, link to it, and view the editing history.
    6 KB (1,088 words) - 08:57, 5 July 2008
  • Template:News/Archives
    * July/09: New page about [[Event Model Decomposition]] * 16-17/07/09: [http://www.event-b.org/rodin09.html Rodin User and Developer Workshop], University of Southampton
    3 KB (377 words) - 12:40, 30 May 2013
  • Event-B:Village pump
    '''Welcome''' to the '''village pump'''. This page is used to discuss the technical issues, policies, and operations of this w ..., by adding a new sub-section (using <nowiki>== xxx ==</nowiki> markup). [[User:Mathieu|Mathieu]] 11:17, 3 July 2008 (BST)
    8 KB (1,148 words) - 08:43, 24 February 2009
  • Help:Links
    ...played in blue, empty pages are displayed in red. Selflinks to the current page are not transformed in URLs but displayed in bold. The first letter of the target page is automatically capitalized and spaces are represented as underscores (typ
    5 KB (863 words) - 08:49, 5 July 2008
  • ADVANCE D3.2 Language extension
    ...predicates and algebraic types. Along with these additional notations, the user can also define new proof rules (proof extensions). The Theory plug-in provides, among other things, a user-friendly mechanism to extend the Event-B mathematical language as well as t
    4 KB (642 words) - 08:33, 29 June 2012
  • Rodin Workshop 2024
    ==11th Rodin User and Developer Workshop== The 11th Rodin User and Developer Workshop, 25th June, 2024, Bergamo, Italy
    3 KB (368 words) - 12:49, 15 April 2024
  • Help:Images
    This page explains the image syntax when editing the wiki. Before using images, you m |Link to description page
    4 KB (555 words) - 11:17, 10 July 2008
  • Theory Plug-in Developer Documentation
    ...cumentation for users of the plug-in is available in [[Theory Plug-in|this page]]. ...and list the release in [[Template:Dev News]] (it is included in the front page)
    3 KB (455 words) - 14:31, 30 May 2024
  • ADVANCE D3.3 Language extension
    ...predicates and algebraic types. Along with these additional notations, the user can also define new proof rules (proof extensions). The Theory plug-in provides, among other things, a user-friendly mechanism to extend the Event-B mathematical language as well as t
    4 KB (648 words) - 14:52, 7 October 2013
  • User:Nicolas/Collections/ADVANCE D3.4 Language extension
    ...predicates and algebraic types. Along with these additional notations, the user can also define new proof rules (proof extensions). The Theory plug-in provides, among other things, a user-friendly mechanism to extend the Event-B mathematical language as well as t
    5 KB (713 words) - 15:34, 19 November 2014
  • Rodin Tutorials
    This page gives a brief summary of tutorial documents for Rodin and other Plug-ins. [[Category:User documentation]]
    617 bytes (79 words) - 08:47, 27 October 2011
  • AnimB start
    The user must give a value for each constants. A constant value is set in the contex * a page for each model
    4 KB (679 words) - 14:59, 16 September 2009

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

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