Difference between pages "File:Disprover-relevant.png" and "File:Down edit.gif"

Revision as of 09:07, 10 July 2008

Import of icon /home/clabaut/workspace/org.eventb.ui/icons/full/ctool16/down_edit.gif

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

	Date/Time	Thumbnail	Dimensions	User	Comment
current	20:49, 30 April 2020		16 × 16 (894 bytes)	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.

Revision as of 15:08, 10 September 2009 (view source) imported>Jastram	Revision as of 09:07, 10 July 2008 (view source) imported>Mathieu (Import of icon /home/clabaut/workspace/org.eventb.ui/icons/full/ctool16/down_edit.gif)
Line 1:	Line 1:
−	+	Import of icon /home/clabaut/workspace/org.eventb.ui/icons/full/ctool16/down_edit.gif