Search results

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

• Shared Event Composition Release History
  **Projects are now shown in between square brackets. **Projects are now shown in between square brackets.
  4 KB (550 words) - 10:39, 25 November 2014
• Rodin Keyboard User Guide
  ...nter" | <code>[</code> || align="center" | [ || align="center" | [ || Left square bracket || U+005B ...ter" | <code>]</code> || align="center" | ] || align="center" | ] || Right square bracket || U+005D
  14 KB (1,930 words) - 12:58, 21 July 2010
• ProR
  ...r. In order to mark an identifier the corresponding text passage is put in square brackets.
  6 KB (915 words) - 10:04, 21 June 2013
• Group refinement plugin
  ...gin will know that it is an event constrainign expression by seeing double square brackets, e.g., <nowiki>[[</nowiki>''first''<nowiki>]]</nowiki>. Everything
  7 KB (1,109 words) - 15:33, 31 August 2010
• Rodin Proving Perspective
  The little square (with a "+" or "-" inside) next to each node in the proof tree allows you t
  27 KB (4,348 words) - 08:56, 26 September 2011
• The Proving Perspective (Rodin User Manual)
  The little square (with a "+" or "-" inside) next to each node in the proof tree allows you t
  27 KB (4,348 words) - 18:45, 28 September 2011