Difference between pages "File:Selected solver.png" and "File:Run As EclipseApp.png"

Latest revision as of 20:50, 30 April 2020

Shows how to run the Rodin Plateform using its sources within the Eclipse Platform.

Click on a date/time to view the file as it appeared at that time.

	Date/Time	Thumbnail	Dimensions	User	Comment
current	20:50, 30 April 2020		681 × 400 (67 KB)	Maintenance script (talk \| contribs)

There are no pages that use this file.

This file contains additional information, probably added from the digital camera or scanner used to create or digitise it.

If the file has been modified from its original state, some details may not fully reflect the modified file.

Latest revision as of 20:50, 30 April 2020 (view source) Maintenance script (talk \| contribs) (Maintenance script uploaded File:Selected solver.png)		Latest revision as of 20:50, 30 April 2020 (view source) Maintenance script (talk \| contribs) (Maintenance script uploaded File:Run As EclipseApp.png)
Line 1:		Line 1:
−	Shows how to ~~select~~ the ~~solver to be used by~~ the ~~SMT tactic~~.	+	Shows how to run the Rodin Plateform using its sources within the Eclipse Platform.