# HG changeset patch # User wenzelm # Date 904219453 -7200 # Node ID 678f34b3d5605c0a1236d210ec74c13c94890986 # Parent 8f1157817bb671f930c8a5e7d85ebd9ceb6e22df fixed center; diff -r 8f1157817bb6 -r 678f34b3d560 lib/html/index1.html --- a/lib/html/index1.html Thu Aug 27 13:53:41 1998 +0200 +++ b/lib/html/index1.html Thu Aug 27 14:04:13 1998 +0200 @@ -4,7 +4,7 @@ -Isabelle +
Isabelle

diff -r 8f1157817bb6 -r 678f34b3d560 lib/html/index2.html --- a/lib/html/index2.html Thu Aug 27 13:53:41 1998 +0200 +++ b/lib/html/index2.html Thu Aug 27 14:04:13 1998 +0200 @@ -4,7 +4,7 @@ -Isabelle +

Isabelle