User:Boris Tsirelson/Sandbox1: Difference between revisions
Jump to navigation
Jump to search
imported>Boris Tsirelson No edit summary |
imported>Boris Tsirelson No edit summary |
||
Line 5: | Line 5: | ||
The graphical user interface started. | The graphical user interface started. | ||
{{Image|Isabelle2.png|left|350px|The source file is read.}} | {{Image|Isabelle2.png|left|350px|The source file is read.}} | ||
The source file is read. | The source file is read. |