Jump to content

File:Matita screenshot.png

Page contents not supported in other languages.
This is a file from the Wikimedia Commons
From Wikipedia, the free encyclopedia

Original file (1,162 × 979 pixels, file size: 180 KB, MIME type: image/png)


Summary

Description
English: Screenshot of the Matita proof authoring interface. Took from http://matita.cs.unibo.it (archived copy ( https://web.archive.org/web/20060905103157/http://matita.cs.unibo.it/), first screenshot.

Confirmed as GPL here - http://matita.cs.unibo.it/download.shtml (in respect of version as of 2017) and

https://web.archive.org/web/20061111000643/http://matita.cs.unibo.it:80/download.shtml (in respect of the closest page/version found in relation to the upload date of the screenshot to Wikipedia.
Date 26 September 2006 (original upload date)
Source Transferred from en.wikipedia to Commons.
Author The original uploader was Zacchiro at English Wikipedia.
Permission
(Reusing this file)
GPL.

Licensing

This screenshot either does not contain copyright-eligible parts or visuals of copyrighted software, or the author has released it under a free license (which should be indicated beneath this notice), and as such follows the licensing guidelines for screenshots of Wikimedia Commons. You may use it freely according to its particular license. Free software license:

GNU head

This work is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or any later version. This work is distributed in the hope that it will be useful, but without any warranty; without even the implied warranty of merchantability or fitness for a particular purpose. See version 2 and version 3 of the GNU General Public License for more details.

Note: if the screenshot shows any work that is not a direct result of the program code itself, such as a text or graphics that are not part of the program, the license for that work must be indicated separately.


GNU head

This work is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or any later version. This work is distributed in the hope that it will be useful, but without any warranty; without even the implied warranty of merchantability or fitness for a particular purpose. See version 2 and version 3 of the GNU General Public License for more details.

Original upload log

The original description page was here. All following user names refer to en.wikipedia.
Date/Time Dimensions User Comment
2006-09-26 10:53 1162×979× (184597 bytes) Zacchiro Screenshot of the Matita proof authoring interface. Took from http://matita.cs.unibo.it, first screenshot.

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

depicts

26 September 2006

File history

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

Date/TimeThumbnailDimensionsUserComment
current23:51, 12 February 2018Thumbnail for version as of 23:51, 12 February 20181,162 × 979 (180 KB)Ixfd64Transferred from en.wikipedia

The following page uses this file:

Global file usage

The following other wikis use this file:

Metadata