Search results

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

• Rodin 3.0 Plug-in Migration Guide
  Those precendent cases are only the most general examples that you will face and are made to give an idea of the new API good usage, Please refer to the documentation of the extension point for further details on how to implement things.
  17 KB (2,614 words) - 16:25, 14 February 2014
• Sequent Prover Developer Guide
  ...lass <tt>org.eventb.core.seqprover.reasonerInputs.EmptyInputReasoner</tt>. Examples include <tt>org.eventb.internal.core.seqprover.eventbExtensions.ImpI</tt> w [[Category:Developer documentation]]
  17 KB (2,378 words) - 09:48, 17 June 2010
• Extending the Pretty Print Page
  In this part we will study concrete examples, to show how the core pretty printer is extended by contributions. [[Category:Developer documentation]]
  17 KB (2,385 words) - 09:53, 27 October 2011
• D23 ProB
  = Available Documentation = ...t were required in moving from a tool capable of dealing with medium-sized examples towards a tool able to deal with actual industrial specifications. Notably,
  17 KB (2,580 words) - 15:55, 28 January 2010
• Mode/FT Views
  Examples: * [http://rodinmodeftview.sourceforge.net/examples/train.zip Toy train example]
  21 KB (3,472 words) - 20:32, 26 June 2015
• Rodin Proving Perspective
  ...plied when green buttons appear in the Goal and Selected Hypotheses views. Examples are proof by contradiction [[Image:falsify_prover.gif]], that we have alrea [[Category:User documentation|The Proving Perspective]]
  27 KB (4,348 words) - 08:56, 26 September 2011
• The Proving Perspective (Rodin User Manual)
  ...plied when green buttons appear in the Goal and Selected Hypotheses views. Examples are proof by contradiction [[Image:falsify_prover.gif]], that we have alrea [[Category:User documentation|The Proving Perspective]]
  27 KB (4,348 words) - 18:45, 28 September 2011

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