File:IsabelleRef.png: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Boris Tsirelson
({{Image_Details|pd |description = Isabelle Reference Manual, front page |author = Makarius Wenzel |source = "Isabelle" distribution |date-created = June 21, 2010 |pub-country = |notes = |versions = }})
 
(== Summary == Importing file)
Tag: Server-side upload
 
Line 1: Line 1:
== Summary ==
== Summary ==
{{Image_Details|pd
Importing file
|description  = Isabelle Reference Manual, front page
|author      = Makarius Wenzel
|source      = "Isabelle" distribution
|date-created = June 21, 2010
|pub-country  =
|notes        =
|versions    =
}}
== Licensing/Copyright status ==
{{PD|author}}

Latest revision as of 19:51, 11 March 2022

Summary

Importing file

File history

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

Date/TimeThumbnailDimensionsUserComment
current19:51, 11 March 2022Thumbnail for version as of 19:51, 11 March 2022849 × 1,099 (47 KB)Maintenance script (talk | contribs)== Summary == Importing file

You cannot overwrite this file.

The following page uses this file:

Metadata

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

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

Retrieved from "https://citizendium.org/wiki/index.php?title=File:IsabelleRef.png&oldid=890"