Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned doc name;
authorwenzelm
Thu, 27 Aug 1998 14:08:32 +0200
changeset 5389 f8da956f59c4
parent 5388 678f34b3d560
child 5390 0c9e6d860485
tuned doc name;
doc-src/gfx/isabelle.eps file | annotate | diff | comparison | revisions 
--- a/doc-src/gfx/isabelle.eps	Thu Aug 27 14:04:13 1998 +0200
+++ b/doc-src/gfx/isabelle.eps	Thu Aug 27 14:08:32 1998 +0200
@@ -1,5 +1,5 @@
 %!PS-Adobe-2.0 EPSF-1.2
-%%Title: isabelle_hol
+%%Title: isabelle
 %%Creator: FreeHand 5.5
 %%CreationDate: 17.11.1997 21:37 Uhr
 %%BoundingBox: 0 0 178 169
@@ -1262,12 +1262,12 @@
 0000000000000000000000000000000000000000000000000000000000000000
 cleartomark
 %!PS-Adobe-2.0 EPSF-1.2
-%%Title: isabelle_hol
+%%Title: isabelle
 %%Creator: FreeHand 5.5
 %%CreationDate: 17.11.1997 21:37 Uhr
 %%BoundingBox: 0 0 178 169
-%%FHPathName:MacSystem:Desktop Folder:freehands:isabelle_hol
-%ALDOriginalFile:MacSystem:Desktop Folder:freehands:isabelle_hol
+%%FHPathName:MacSystem:Desktop Folder:freehands:isabelle
+%ALDOriginalFile:MacSystem:Desktop Folder:freehands:isabelle
 %ALDBoundingBox: -157 -395 438 447
 %%FHPageNum:1
 %%DocumentSuppliedResources: procset Altsys_header 4 0
isabelle