unify dist and main
authorhaftmann
Wed, 21 Sep 2005 16:37:37 +0200
changeset 17563 abb280dd3431
parent 17562 623c9e8668aa
child 17564 0350ac95c4b6
unify dist and main
Admin/website/TODO
Admin/website/build/localconf.at.template.mak
Admin/website/build/localconf.sun.template.mak
Admin/website/build/project.mak
Admin/website/css/aelfwine.css
Admin/website/css/isabelle_base.css
Admin/website/css/isabelle_print.css
Admin/website/css/isabelle_screen.css
Admin/website/dist/css/aelfwine.css
Admin/website/dist/css/isabelle_base.css
Admin/website/dist/css/isabelle_print.css
Admin/website/dist/css/isabelle_screen.css
Admin/website/dist/img/favicon.ico
Admin/website/dist/img/isabelle_logo.gif
Admin/website/dist/img/screenshot_isabelle_macos.gif
Admin/website/dist/img/tutorial_cover_big.gif
Admin/website/dist/img/tutorial_cover_small.gif
Admin/website/dist/img/univ_cambridge.gif
Admin/website/dist/img/univ_tum.gif
Admin/website/dist/misc/isabelle_droplet.dmg
Admin/website/documentation.html
Admin/website/faq.html
Admin/website/img/c_isabelle_lemmas.gif
Admin/website/img/favicon.ico
Admin/website/img/isabelle_logo.gif
Admin/website/img/isabelle_pg_screenshot_big.png
Admin/website/img/isabelle_pg_screenshot_small.png
Admin/website/img/screenshot_isabelle_macos.gif
Admin/website/img/screenshot_isabelle_pg.png
Admin/website/img/tutorial_cover_big.gif
Admin/website/img/tutorial_cover_small.gif
Admin/website/img/univ_cambridge.gif
Admin/website/img/univ_tum.gif
Admin/website/include/header.include.html
Admin/website/include/htmlheader.include.html
Admin/website/index.html
Admin/website/installation_macos_emacs.html
Admin/website/installation_notes_cygwin.html
Admin/website/logics.html
Admin/website/misc/isabelle_droplet.dmg
Admin/website/overview.html
--- a/Admin/website/TODO	Wed Sep 21 14:46:10 2005 +0200
+++ b/Admin/website/TODO	Wed Sep 21 16:37:37 2005 +0200
@@ -22,10 +22,3 @@
     * overview: Isabelle/HOL   
     * logics:   Isabelle system
   (to discuss)
-
-- introduce "mirror switch boxes"
-  (to discuss)
-
-Visionary:
-
-- unify dist and main
\ No newline at end of file
--- a/Admin/website/build/localconf.at.template.mak	Wed Sep 21 14:46:10 2005 +0200
+++ b/Admin/website/build/localconf.at.template.mak	Wed Sep 21 16:37:37 2005 +0200
@@ -11,10 +11,10 @@
 TIDY=tidy
 
 # dirs to copy to build target
-STATICDIRS=img media dist/css dist/img dist/packages dist/misc
+STATICDIRS=css img media misc dist
 
 # build target (attention: ~ will not work!)
-OUTPUTROOT=/usr/proj/isabelle-repository/www
+OUTPUTROOT=/home/proj/isabelle/website
 
 # location of isabelle distribution packages
 ISABELLE_DIST=/home/proj/isabelle/dist/Isabelle2004
--- a/Admin/website/build/localconf.sun.template.mak	Wed Sep 21 14:46:10 2005 +0200
+++ b/Admin/website/build/localconf.sun.template.mak	Wed Sep 21 16:37:37 2005 +0200
@@ -11,10 +11,10 @@
 TIDY=tidy
 
 # dirs to copy to build target
-STATICDIRS=img media dist/css dist/img dist/packages dist/misc
+STATICDIRS=css img media misc dist
 
 # build target (attention: ~ will not work!)
-OUTPUTROOT=/usr/proj/isabelle-repository/www
+OUTPUTROOT=/home/proj/isabelle/website
 
 # location of isabelle distribution packages
 ISABELLE_DIST=/home/proj/isabelle/dist/Isabelle2004
--- a/Admin/website/build/project.mak	Wed Sep 21 14:46:10 2005 +0200
+++ b/Admin/website/build/project.mak	Wed Sep 21 16:37:37 2005 +0200
@@ -11,7 +11,7 @@
 	#~ mkdir -p $(OUTPUTROOT)/dist
 	#~ ln -s $< $@
 
-DEP_SYMLINKS=dist/packages $(OUTPUTROOT)/library
+DEP_SYMLINKS=dist/packages $(OUTPUTROOT)/dist/library
 
 dist/packages: $(ISABELLE_DIST)
 	ln -s $< $@
@@ -19,7 +19,7 @@
 #~ library: $(ISABELLE_LIBR)
 #~	ln -s $< $@
 
-$(OUTPUTROOT)/library: $(ISABELLE_LIBR)
+$(OUTPUTROOT)/dist/library: $(ISABELLE_LIBR)
 	ln -s $< $@
 	chmod $(TARGET_UMASK_DIR) $@
 
@@ -33,7 +33,7 @@
 conf/distname.mak:
 	@echo 'There is no conf/distname.mak file; it should have been'; \
 	echo 'allocated by makedist.'; \
-	echo 'If you have no makedist at hands, allocate a conf/distname.mak file'; \
+	echo 'If you have no makedist at hand, allocate a conf/distname.mak file'; \
 	echo 'yourself, e. g. by:'; \
 	echo; \
 	echo 'echo "DISTNAME=Isabelle2004" > conf/distname.mak'; \
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/website/css/aelfwine.css	Wed Sep 21 16:37:37 2005 +0200
@@ -0,0 +1,725 @@
+/************************************************************
+ * Stylesheet AElfwine                                      *
+ ************************************************************
+ *                                                          *
+ * This has been collected from various sources.            *
+ *                                                          *
+ * Version 1.0 - 2005/05/01 - f.h.                          *
+ *                                                          *
+ * ...aiming for perfection ;-)                             *
+ *                                                          *
+ ************************************************************/
+
+@namespace url(http://www.w3.org/1999/xhtml); /* DOES ANYONE KNOW WHAT'S THAT ABOUT!? */
+
+/* base paragraph and heading types */
+h1 {
+    display:            block;
+
+    font-family:        Arial,Helvetica,Verdana,sans-serif;
+    font-style:         normal;
+    font-variant:       normal;
+    font-size:          2.20em;
+    font-weight:        bold;
+    font-stretch:       normal;
+    text-decoration:    none;
+    text-transform:     none;
+    color:              #000000; 
+    text-shadow:        none;
+
+    text-indent:        0.00px;
+    text-align:         center;
+    white-space:        normal;
+
+    margin-top:         0.62em;
+    margin-bottom:      0.31em;
+    margin-left:        0.00px;
+    margin-right:       0.00px;
+}
+
+h2 {
+    display:            block;
+
+    font-family:        Arial,Helvetica,Verdana,sans-serif;
+    font-style:         normal;
+    font-variant:       normal;
+    font-size:          1.77em;
+    font-weight:        bold;
+    font-stretch:       normal;
+    text-decoration:    none;
+    text-transform:     none;
+    color:              #000000; 
+    text-shadow:        none;
+
+    text-indent:        0.00px;
+    text-align:         center;
+    white-space:        normal;
+
+    margin-top:         0.40em;
+    margin-bottom:      0.20em;
+    margin-left:        0.00px;
+    margin-right:       0.00px;
+}
+
+h3 {
+    display:            block;
+
+    font-family:        Arial,Helvetica,Verdana,sans-serif;
+    font-style:         normal;
+    font-variant:       normal;
+    font-size:          1.57em;
+    font-weight:        bold;
+    font-stretch:       normal;
+    text-decoration:    none;
+    text-transform:     none;
+    color:              #000000; 
+    text-shadow:        none;
+
+    text-indent:        0.00px;
+    text-align:         left;
+    white-space:        normal;
+
+    margin-top:         0.32em;
+    margin-bottom:      0.10em;
+    margin-left:        0.00px;
+    margin-right:       0.00px;
+}
+
+h4 {
+    display:            block;
+
+    font-family:        Arial,Helvetica,Verdana,sans-serif;
+    font-style:         normal;
+    font-variant:       normal;
+    font-size:          1.47em;
+    font-weight:        bold;
+    font-stretch:       normal;
+    text-decoration:    none;
+    text-transform:     none;
+    color:              #000000; 
+    text-shadow:        none;
+
+    text-indent:        0.00px;
+    text-align:         left;
+    white-space:        normal;
+
+    margin-top:         0.29em;
+    margin-bottom:      0.05em;
+    margin-left:        0.00px;
+    margin-right:       0.00px;
+}
+
+h5 {
+    display:            block;
+
+    font-family:        Arial,Helvetica,Verdana,sans-serif;
+    font-style:         normal;
+    font-variant:       normal;
+    font-size:          1.18em;
+    font-weight:        bold;
+    font-stretch:       normal;
+    text-decoration:    none;
+    text-transform:     none;
+    color:              #000000; 
+    text-shadow:        none;
+
+    text-indent:        0.00px;
+    text-align:         left;
+    white-space:        normal;
+
+    margin-top:         0.27em;
+    margin-bottom:      0.03em;
+    margin-left:        0.00px;
+    margin-right:       0.00px;
+}
+
+h6 {
+    display:            block;
+
+    font-family:        Arial,Helvetica,Verdana,sans-serif;
+    font-style:         normal;
+    font-variant:       normal;
+    font-size:          1em;
+    font-weight:        bold;
+    font-stretch:       normal;
+    text-decoration:    none;
+    text-transform:     none;
+    color:              #000000; 
+    text-shadow:        none;
+
+    text-indent:        0.00px;
+    text-align:         left;
+    white-space:        normal;
+
+    margin-top:         0.25em;
+    margin-bottom:      0.00em;
+    margin-left:        0.00px;
+    margin-right:       0.00px;
+}
+
+p, body, th, td {
+    display:            block;
+
+    font-family:        Arial,Helvetica,Verdana,sans-serif;
+    font-style:         normal;
+    font-variant:       normal;
+    font-size:          1.00em;
+    font-weight:        normal;
+    font-stretch:       normal;
+    text-decoration:    none;
+    text-transform:     none;
+    color:              #000000; 
+    text-shadow:        none;
+
+    text-indent:        0.00px;
+    white-space:        normal;
+
+}
+
+p {
+    text-align:         justify;
+    margin-top:         0.20em;
+    margin-bottom:      0.20em;
+}
+
+/* text markup */
+
+em {
+    font-style:         italic;
+}
+
+strong {
+    font-weight:        bold;
+}
+
+del {
+    text-decoration:    line-through;
+}
+
+ins {
+    text-decoration:    underline;
+}
+
+/* text format */
+
+sub {
+    vertical-align: sub;
+    font-size: smaller;
+    line-height: normal;
+}
+
+sup {
+    vertical-align: super;
+    font-size: smaller;
+    line-height: normal;
+}
+
+big {
+    font-size: larger;
+}
+
+small {
+    font-size: smaller;
+}
+
+tt {
+    font-family: Courier New,monospace;
+}
+
+pre {
+    display: block;
+    font-family: Courier New,monospace;
+    white-space: pre;
+    margin: 1em 1em;
+}
+
+/* ruler */
+
+hr {
+    display: block;
+    margin: 0 auto 0 auto;
+}
+
+/* document */
+
+html {
+    display:            block;
+}
+
+body {
+    display:            block;
+    /* KHTML background:         #FFFFEE; */
+    margin:             8px;
+}
+
+/* blocks */
+
+div {
+    display:            block;
+}
+
+address {
+    display:            block;
+    font-style:         italic;
+}
+
+blockquote {
+    display:            block;
+    margin:             1em 40px;
+}
+
+blockquote[type=cite] {
+    display:            block;
+    margin:             1em 0em;
+    padding-left:       1em;
+    border-left:        solid;
+    border-color:       blue;
+    border-width:       thin;
+}
+
+/* spans */
+
+span {
+    display:            inline;
+}
+
+abbr, acronym {
+    display:            inline;
+}
+
+cite, q {
+    display:            inline;
+    font-style:         italic;
+}
+
+code, var, kbd {
+    font-family:        Courier New,monospace;
+    display:            inline;
+}
+
+dfn {
+    display:            inline;
+    font-style:         italic;
+    font-weight:        bold;
+}
+
+samp {
+    display:            inline;
+}
+
+/* tables */
+
+table {
+    display:            table;
+    margin:             0px;
+    padding:            0px;
+    border-spacing:     1px;
+    border-collapse:    separate;
+}
+
+table[align="left"] {
+    float:              left;
+}
+
+table[align="right"] {
+    float:              right;
+}
+
+caption {
+    display:            table-caption;
+}
+
+colgroup {
+    display:            table-column-group;
+}
+
+col {
+    display:            table-column;
+}
+
+thead {
+    display:            table-header-group;
+    vertical-align:     middle;
+}
+
+tbody {
+    display:            table-row-group;
+}
+
+tfoot {
+    display:            table-footer-group;
+    vertical-align:     middle;
+}
+
+tr {
+    display:            table-row;
+}
+
+th {
+    display:            table-cell;
+    font-weight:        bold;
+    padding:            1px;
+}
+
+td { 
+    display:            table-cell;
+    padding:            1px;
+}
+
+/* lists */
+
+ul {
+    display:            block;
+    list-style-type:    disc;
+    margin:             1em 0em;
+    padding-left:       40px;
+}
+
+ol {
+    display:            block;
+    list-style-type:    decimal;
+    margin:             1em 0em;
+    padding-left:       40px;
+}
+
+dl {
+    display:            block;
+    margin:             1em 0em;
+}
+
+dt {
+    display:            block;
+    margin-left:        1em;
+}
+
+dd {
+    display:            block;
+    margin-left:        3em;
+}
+
+li {
+    display:            list-item;
+}
+
+/* nested lists have no top/bottom margins */
+ul ul, ul ol, ul dl,
+ol ul, ol ol, ol dl,
+dl ul, dl ol, dl dl {
+    margin-top:         0;
+    margin-bottom:      0;
+}
+
+/* 2 deep unordered lists use a circle */
+ol ul, ul ul {
+    list-style-type:    circle;
+}
+
+/* 3 deep (or more) unordered lists use a square */
+ol ol ul, ol ul ul,
+ul ol ul, ul ul ul {
+  list-style-type:      square;
+}
+
+/* hyperlinks */
+
+a:link {
+    color:              #FF0000;
+}
+
+a:visited {
+    color:              #FF6600;
+}
+
+a:hover {
+    color:              #FF0000;
+}
+
+a:active {
+    color:              #FF0000;
+}
+
+a:focus {
+    color:              #FF0000;
+}
+
+a[name]:link, a[id]:link:not([href]) {
+    color:              #000000;
+}
+
+a[name]:hover, a[id]:hover:not([href]) {
+    color:              #000000;
+}
+
+a[name]:active, a[id]:active:not([href]) {
+    color:              #000000;
+}
+
+a[name]:focus, a[id]:focus:not([href]) {
+    color:              #000000;
+}
+
+a img {
+    border:             none;
+}
+
+/* hidden elements */
+area, base, basefont, head, meta, script, style, title,
+noembed, noframes, noscript, param {
+    display:            none;
+}
+
+/* forms */
+
+/* misc */
+legend {
+    padding-left:       2px;
+    padding-right:      2px;
+    border:             none;
+}
+
+fieldset {
+    display:            block;
+    margin-left:        2px;
+    margin-right:       2px;
+    padding:            0.75em 0.625em;
+    border:             2px groove ThreeDFace;
+}
+
+label {
+    cursor:             default;
+}
+
+/* default inputs, text inputs, and selects */
+input [type=""], input[type="text"], input[type="password"] {
+    padding:            1px 0px 1px 0px;
+    border:             2px inset ThreeDFace;
+    text-transform:     none;
+    vertical-align:     text-bottom;
+    cursor:             text;
+}
+
+textarea {
+    margin:             1px 0px 1px 0px;
+    border:             2px inset ThreeDFace;
+    font-size:          medium;
+    text-transform:     none;
+    vertical-align:     text-bottom;
+    cursor:             text;
+}
+
+select {
+    margin:             0;
+    border-color:       ThreeDFace;
+    white-space:        nowrap;
+    vertical-align:     text-bottom;
+    cursor:             default;
+    border-width:       2px;
+    border-style:       inset;
+}
+
+select[size] {
+    padding:            1px 0px 1px 0px;
+}
+
+select[size="1"] {
+    padding:            0px;
+}
+
+option {
+    display: block;
+}
+
+option :checked {
+    background-color:   Highlight;
+    color:              HighlightText;
+}
+
+optgroup {
+    display:            block;
+    font-style:         italic;
+    font-weight:        bold;
+}
+
+optgroup > option {
+    padding-left:       20px;
+    font-style:         normal;
+    font-weight:        normal;
+}
+
+optgroup :before {
+    display:            block;
+    content:            attr(label);
+}
+
+option[disabled],
+optgroup[disabled] {
+    background-color:   transparent;
+}
+
+/* hidden inputs */
+input[type="hidden"] {
+    display:            none;
+    padding:            0em;
+    border:             0em;
+    cursor:             auto;
+}
+
+/* image buttons */
+input[type="image"] {
+    padding:            0em;
+    border:             none;
+    background-color:   transparent;
+    vertical-align:     baseline;
+    font-family:        sans-serif;
+    font-size:          small;
+    cursor:             pointer;
+}
+
+input[type="image"][disabled] {
+    cursor:             default;
+}
+
+/* file selector */
+input[type="file"] {
+    white-space:        nowrap;
+    cursor:             default;
+    padding:            0px;
+    border-style:       none;
+}
+
+/* radio buttons and check boxes*/
+input[type="radio"] {
+    width:              13px;
+    height:             13px;
+    margin:             3px 3px 0px 5px;
+    padding:            0px;
+    vertical-align:     baseline;
+    cursor:             default;
+}
+
+/* check boxes */
+input[type="checkbox"] {
+    width:              13px;
+    height:             13px;
+    margin:             3px 3px 3px 4px;
+    padding:            0px;
+    vertical-align:     text-bottom;
+    cursor:             default;
+}
+
+input[type="checkbox"]:focus,
+input[type="radio"]:focus {
+    border-style: groove;
+}
+
+input[type="checkbox"]:hover:active,
+input[type="radio"]:hover:active {
+    background-color:   ThreeDFace;
+    border-style:       inset;
+}
+
+/* buttons */
+button, 
+input[type="reset"],
+input[type="button"],
+input[type="submit"] { 
+    text-transform:     none;
+    padding:            2px 0 2px 0;
+    border:             2px outset ButtonFace;
+    background-color:   ButtonFace;
+    color:              ButtonText; 
+    white-space:        pre;
+    vertical-align:     text-bottom;
+    cursor:             default;
+}
+
+button:active:hover,
+input[type="reset"]:active:hover,
+input[type="button"]:active:hover,
+input[type="submit"]:active:hover {
+    padding:            3px 0 1px 0;
+    border-style:       inset;
+}
+
+/* disables inputs */
+
+input[disabled],
+textarea[disabled],
+option[disabled],
+optgroup[disabled],
+select[disabled] {
+    color:              GrayText;
+    background-color:   ThreeDFace;
+    cursor:             default;
+}
+
+input[type="radio"][disabled],
+input[type="radio"][disabled]:active,
+input[type="radio"][disabled]:hover,
+input[type="radio"][disabled]:hover:active,
+input[type="checkbox"][disabled],
+input[type="checkbox"][disabled]:active,
+input[type="checkbox"][disabled]:hover,
+input[type="checkbox"][disabled]:hover:active {
+    padding:            1px;
+    border:             1px inset ThreeDShadow;
+    color:              GrayText;
+    background-color:   ThreeDFace;
+}
+
+button[disabled]:active, button[disabled],
+input[type="reset"][disabled]:active,
+input[type="reset"][disabled],
+input[type="button"][disabled]:active,
+input[type="button"][disabled],
+select[disabled] > input[type="button"],
+select[disabled] > input[type="button"]:active,
+input[type="submit"][disabled]:active,
+input[type="submit"][disabled] {
+    padding:            3px 1px 3px 1px;
+    border:             1px outset ButtonShadow;
+    color:              GrayText;
+}
+
+/* DocBook-XSLT-specific extensions */
+
+div.figure {
+    margin-top: 1.9ex;
+}
+
+div.note {
+    margin-top: 1.0ex;
+    margin-bottom: 1.0ex;
+}
+
+div.tip {
+    margin-top: 1.0ex;
+    margin-bottom: 1.0ex;
+}
+
+div.warning {
+    margin-top: 1.0ex;
+    margin-bottom: 1.0ex;
+}
+
+div.caution {
+    margin-top: 1.0ex;
+    margin-bottom: 1.0ex;
+}
+
+div.important {
+    margin-top: 1.0ex;
+    margin-bottom: 1.0ex;
+}
+
+div.figure {
+    margin-bottom: 0.8ex;
+}
+
+div.example {
+    margin-bottom: 0.8ex;
+}
+
+div.equation {
+    margin-bottom: 0.8ex;
+}
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/website/css/isabelle_base.css	Wed Sep 21 16:37:37 2005 +0200
@@ -0,0 +1,184 @@
+/************************************************************
+ * Stylesheet Isabelle (all-media basics)                   *
+ ************************************************************/
+
+/* $Id$ */
+
+@namespace url(http://www.w3.org/1999/xhtml); /* DOES ANYONE KNOW WHAT'S THAT ABOUT!? */
+
+/* generic color settings */
+body {
+    background-color: #FFFFFF;
+}
+
+a:link {
+    color: #0000A0;
+}
+
+a:visited {
+    color: #5050A0;
+}
+
+a:hover {
+    color: #FFFFFF;
+    background-color: #0000FF;
+}
+
+a:hover img {
+    /* gets rid of some of hover highlight */
+    background-color: #FFFFFF;
+}
+
+a:active {
+    color: #00DDFF;
+}
+
+a:focus {
+    color: #00DDFF;
+}
+
+img {
+    border: none;
+}
+
+/* generic formatting */
+h1 { 
+    margin-top: 2em;
+    font-size: 230%;
+}
+
+h2 {
+    margin-top: 1em;
+    font-size: x-large;
+    text-align: left;
+    background-color: #8080F0;
+}
+
+h3 {
+    margin-top: 0.7em;
+    font-size: medium;
+    text-align: left;
+    background-color: #8080F0;
+}
+
+p {
+    margin-top: 0.3em;
+    margin-bottom: 0.4em;
+}
+
+/* indendation of following paragraphs */
+/* p + p {
+  text-indent: 0.8em;
+} */
+
+/* navigation layout */
+div#navigation ul {
+    list-style-type: none;
+    margin: 0em;
+    padding: 0em;
+    width: 100%;
+}
+
+div#navigation ul li {
+    margin: 0em;
+    padding: 0em;
+}
+
+div#navigation ul li span {
+    display: block;
+    margin: 1ex 0em;
+    padding: 1ex 0em;
+    text-align: center;
+    vertical-align: middle;
+    background-color: #E0E0F0;
+    border-left: 7px solid #FFFFFF;
+}
+
+div#navigation ul li strong {
+    display: block;
+    font-weight: normal;
+    margin: 1ex 0em;
+    padding: 1ex 0em;
+    text-align: center;
+    vertical-align: middle;
+    background-color: #E0E0F0;
+    border-left: 7px solid #0000A0;
+}
+
+/* footer layout */
+div#footer p {
+    text-align: right;
+    font-size: x-small;
+}
+
+/* embedded images */
+img.left {
+    margin-right: 8pt;
+    float: left;
+}
+
+img.right {
+    margin-left: 8pt;
+    float: right;
+}
+
+/* shell commands */
+tt.shellcmd {
+    font-family: monospace;
+}
+
+ul.shellcmd {
+    background-color: #C0C0E0;
+    font-family: monospace;
+    list-style-type: none;
+    margin-top: 1ex;
+    margin-bottom: 1ex;
+    margin-left: 4em;
+    margin-right: 4em;
+    padding-left: 0pt;
+}
+
+ul.shellcmd li:before {
+    content: "$ ";
+    font-weight: bold;
+}
+
+/* the faq */
+dl.faq dt {
+    background-color: #8080F0;
+    padding: 3px;
+    margin-top: 12px;
+    font-weight: bold;
+}
+
+dl.faq dd {
+    padding: 3px;
+    margin-top: 3px;
+}
+
+/* download tables */
+table.download {
+    margin-top: 2ex;
+    margin-left: auto;
+    margin-right: auto;
+    text-align: center;
+    border-spacing: 4px;
+}
+
+table.download tr td {
+    text-align: left;
+    background-color: #C0C0E0;
+    padding: 0.4ex 1em 0.4ex 1em;
+}
+
+table.download tr td.downloadheader {
+    text-align: left;
+    font-weight: bold;
+    background-color: #8080F0;
+    /* margin-top doesn't seem to work */
+    border-top: 1ex solid #E0E0F0;
+}
+
+table.download tr td + td + td {
+    text-align: right;
+}
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/website/css/isabelle_print.css	Wed Sep 21 16:37:37 2005 +0200
@@ -0,0 +1,74 @@
+/************************************************************
+ * Stylesheet Isabelle (print media)                        *
+ ************************************************************/
+
+/* $Id$ */
+
+@namespace url(http://www.w3.org/1999/xhtml); /* DOES ANYONE KNOW WHAT'S THAT ABOUT!? */
+
+/* use times font for floating text */
+p, body, th, td {
+    font-family: Times New Roman,times,serif;
+}
+
+/* body margin */
+body {
+    margin: 4pt;
+}
+
+/* no rulers (they are just a supplemental for non-css browsers) */
+hr {
+    display: none;
+    visibility: hidden;
+    height: 0pt;
+    width: 0pt;
+}
+
+/* header layout */
+div#header {
+    position: relative;
+    height: 94px; 
+    background-color: #FFFFFF;
+}
+
+div#header h1 {
+    position: absolute;
+    top: 0px;
+    left: 0px;
+    margin: 0px;
+}
+
+div#header a#isabelle_logo {
+    position: absolute;
+    right: 0px;
+}
+
+div#header a#univ_tum {
+    display: none;
+}
+
+div#header a#univ_cambridge {
+    display: none;
+}
+
+div#header span.headersep {
+    display: none;
+}
+
+/* navigation layout */
+div#navigation {
+    display: none;
+}
+
+/* footer layout */
+div#footer {
+    position: relative;
+    top: 8px;
+    clear: both;
+    border-top: 2px solid #000000;
+}
+
+/* mirrorlist */
+div.mirrorlist {
+    display: none;
+}
\ No newline at end of file
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/website/css/isabelle_screen.css	Wed Sep 21 16:37:37 2005 +0200
@@ -0,0 +1,139 @@
+/************************************************************
+ * Stylesheet Isabelle (screen media)                       *
+ ************************************************************/
+
+/* $Id$ */
+
+@namespace url(http://www.w3.org/1999/xhtml); /* DOES ANYONE KNOW WHAT'S THAT ABOUT!? */
+
+/* no rulers (they are just a supplemental for non-css browsers) */
+hr {
+    display: none;
+    visibility: hidden;
+    height: 0pt;
+    width: 0pt;
+}
+
+div.hr {
+    /* a special for KHTML */
+    display: none;
+}
+
+/* header layout */
+div#header {
+    position: relative;
+    height: 90pt; 
+    background-color: #FFFFFF;
+}
+
+div#header h1 {
+    /* center between logos */
+    position: absolute;
+    top: 27px;
+    left: 200px;
+    right: 270px;
+    margin: 0px;
+}
+
+div#header a#isabelle_logo {
+    position: absolute;
+    top: 10px;
+    left: 3.2ex;
+}
+
+div#header a#univ_tum {
+    position: absolute;
+    top: 25px;
+    right: 40px;
+}
+
+div#header a#univ_cambridge {
+    position: absolute;
+    top: 25px;
+    right: 130px;
+}
+
+div#header span.headersep {
+    display: none;
+}
+
+/* navigation layout */
+div#navigation {
+    position: relative;
+    top: 2em;
+    left: 1ex;
+    bottom: 4px;
+    padding: 0.5em 0.5em;
+    float: left;
+    width: 17ex;
+    background-color: #FFFFFF;
+    border-top: 2px solid #0000A0;
+    border-bottom: 2px solid #0000A0;
+}
+
+div#navigation h2 {
+    display: none;
+}
+
+/* footer layout */
+div#footer {
+    margin-top: 2em;
+}
+
+/* content layout */
+div#content {
+    position: static;
+    left: 4px;
+    margin-left: 23ex;
+    margin-right: 3%;
+    background-color: #E0E0F0;
+    padding-left: 20px;
+    padding-right: 20px;
+    padding-bottom: 20px;
+}
+
+div#content h2 { 
+    margin-left: -20px;
+    margin-right: -20px;
+    padding-left: 20px;
+    padding-top: 0.2ex;
+    padding-bottom: 0.2ex;
+    border-bottom: 1ex solid #E0E0F0;
+}
+
+div#content h3 { 
+    margin-right: -20px;
+    padding-top: 0.4ex;
+    padding-bottom: 0.2ex;
+    padding-left: 10px;
+}
+
+/* mirror switch layout */
+div.mirrorlist {
+    margin: 1ex 0em;
+    padding: 2pt;
+    background-color: #E0E0F0;
+    text-align: left;
+    border-left: 7px solid #FFFFFF;
+}
+
+div.mirrorlist h3 {
+    margin: 1pt;
+    padding: 1pt;
+    border: none;
+    background-color: #FFFFFF;
+    color: #0000A0;
+    font-size: 11pt;
+    text-align: left;
+}
+
+div.mirrorlist ul {
+    margin: 1pt 1pt 1pt 1em;
+    padding: 0pt;
+}
+
+div.mirrorlist ul li {
+    font-size: 8pt;
+    font-style: italics;
+    padding: 0pt 12pt 0pt 0pt;
+}
\ No newline at end of file
--- a/Admin/website/dist/css/aelfwine.css	Wed Sep 21 14:46:10 2005 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,725 +0,0 @@
-/************************************************************
- * Stylesheet AElfwine                                      *
- ************************************************************
- *                                                          *
- * This has been collected from various sources.            *
- *                                                          *
- * Version 1.0 - 2005/05/01 - f.h.                          *
- *                                                          *
- * ...aiming for perfection ;-)                             *
- *                                                          *
- ************************************************************/
-
-@namespace url(http://www.w3.org/1999/xhtml); /* DOES ANYONE KNOW WHAT'S THAT ABOUT!? */
-
-/* base paragraph and heading types */
-h1 {
-    display:            block;
-
-    font-family:        Arial,Helvetica,Verdana,sans-serif;
-    font-style:         normal;
-    font-variant:       normal;
-    font-size:          2.20em;
-    font-weight:        bold;
-    font-stretch:       normal;
-    text-decoration:    none;
-    text-transform:     none;
-    color:              #000000; 
-    text-shadow:        none;
-
-    text-indent:        0.00px;
-    text-align:         center;
-    white-space:        normal;
-
-    margin-top:         0.62em;
-    margin-bottom:      0.31em;
-    margin-left:        0.00px;
-    margin-right:       0.00px;
-}
-
-h2 {
-    display:            block;
-
-    font-family:        Arial,Helvetica,Verdana,sans-serif;
-    font-style:         normal;
-    font-variant:       normal;
-    font-size:          1.77em;
-    font-weight:        bold;
-    font-stretch:       normal;
-    text-decoration:    none;
-    text-transform:     none;
-    color:              #000000; 
-    text-shadow:        none;
-
-    text-indent:        0.00px;
-    text-align:         center;
-    white-space:        normal;
-
-    margin-top:         0.40em;
-    margin-bottom:      0.20em;
-    margin-left:        0.00px;
-    margin-right:       0.00px;
-}
-
-h3 {
-    display:            block;
-
-    font-family:        Arial,Helvetica,Verdana,sans-serif;
-    font-style:         normal;
-    font-variant:       normal;
-    font-size:          1.57em;
-    font-weight:        bold;
-    font-stretch:       normal;
-    text-decoration:    none;
-    text-transform:     none;
-    color:              #000000; 
-    text-shadow:        none;
-
-    text-indent:        0.00px;
-    text-align:         left;
-    white-space:        normal;
-
-    margin-top:         0.32em;
-    margin-bottom:      0.10em;
-    margin-left:        0.00px;
-    margin-right:       0.00px;
-}
-
-h4 {
-    display:            block;
-
-    font-family:        Arial,Helvetica,Verdana,sans-serif;
-    font-style:         normal;
-    font-variant:       normal;
-    font-size:          1.47em;
-    font-weight:        bold;
-    font-stretch:       normal;
-    text-decoration:    none;
-    text-transform:     none;
-    color:              #000000; 
-    text-shadow:        none;
-
-    text-indent:        0.00px;
-    text-align:         left;
-    white-space:        normal;
-
-    margin-top:         0.29em;
-    margin-bottom:      0.05em;
-    margin-left:        0.00px;
-    margin-right:       0.00px;
-}
-
-h5 {
-    display:            block;
-
-    font-family:        Arial,Helvetica,Verdana,sans-serif;
-    font-style:         normal;
-    font-variant:       normal;
-    font-size:          1.18em;
-    font-weight:        bold;
-    font-stretch:       normal;
-    text-decoration:    none;
-    text-transform:     none;
-    color:              #000000; 
-    text-shadow:        none;
-
-    text-indent:        0.00px;
-    text-align:         left;
-    white-space:        normal;
-
-    margin-top:         0.27em;
-    margin-bottom:      0.03em;
-    margin-left:        0.00px;
-    margin-right:       0.00px;
-}
-
-h6 {
-    display:            block;
-
-    font-family:        Arial,Helvetica,Verdana,sans-serif;
-    font-style:         normal;
-    font-variant:       normal;
-    font-size:          1em;
-    font-weight:        bold;
-    font-stretch:       normal;
-    text-decoration:    none;
-    text-transform:     none;
-    color:              #000000; 
-    text-shadow:        none;
-
-    text-indent:        0.00px;
-    text-align:         left;
-    white-space:        normal;
-
-    margin-top:         0.25em;
-    margin-bottom:      0.00em;
-    margin-left:        0.00px;
-    margin-right:       0.00px;
-}
-
-p, body, th, td {
-    display:            block;
-
-    font-family:        Arial,Helvetica,Verdana,sans-serif;
-    font-style:         normal;
-    font-variant:       normal;
-    font-size:          1.00em;
-    font-weight:        normal;
-    font-stretch:       normal;
-    text-decoration:    none;
-    text-transform:     none;
-    color:              #000000; 
-    text-shadow:        none;
-
-    text-indent:        0.00px;
-    white-space:        normal;
-
-}
-
-p {
-    text-align:         justify;
-    margin-top:         0.20em;
-    margin-bottom:      0.20em;
-}
-
-/* text markup */
-
-em {
-    font-style:         italic;
-}
-
-strong {
-    font-weight:        bold;
-}
-
-del {
-    text-decoration:    line-through;
-}
-
-ins {
-    text-decoration:    underline;
-}
-
-/* text format */
-
-sub {
-    vertical-align: sub;
-    font-size: smaller;
-    line-height: normal;
-}
-
-sup {
-    vertical-align: super;
-    font-size: smaller;
-    line-height: normal;
-}
-
-big {
-    font-size: larger;
-}
-
-small {
-    font-size: smaller;
-}
-
-tt {
-    font-family: Courier New,monospace;
-}
-
-pre {
-    display: block;
-    font-family: Courier New,monospace;
-    white-space: pre;
-    margin: 1em 1em;
-}
-
-/* ruler */
-
-hr {
-    display: block;
-    margin: 0 auto 0 auto;
-}
-
-/* document */
-
-html {
-    display:            block;
-}
-
-body {
-    display:            block;
-    /* KHTML background:         #FFFFEE; */
-    margin:             8px;
-}
-
-/* blocks */
-
-div {
-    display:            block;
-}
-
-address {
-    display:            block;
-    font-style:         italic;
-}
-
-blockquote {
-    display:            block;
-    margin:             1em 40px;
-}
-
-blockquote[type=cite] {
-    display:            block;
-    margin:             1em 0em;
-    padding-left:       1em;
-    border-left:        solid;
-    border-color:       blue;
-    border-width:       thin;
-}
-
-/* spans */
-
-span {
-    display:            inline;
-}
-
-abbr, acronym {
-    display:            inline;
-}
-
-cite, q {
-    display:            inline;
-    font-style:         italic;
-}
-
-code, var, kbd {
-    font-family:        Courier New,monospace;
-    display:            inline;
-}
-
-dfn {
-    display:            inline;
-    font-style:         italic;
-    font-weight:        bold;
-}
-
-samp {
-    display:            inline;
-}
-
-/* tables */
-
-table {
-    display:            table;
-    margin:             0px;
-    padding:            0px;
-    border-spacing:     1px;
-    border-collapse:    separate;
-}
-
-table[align="left"] {
-    float:              left;
-}
-
-table[align="right"] {
-    float:              right;
-}
-
-caption {
-    display:            table-caption;
-}
-
-colgroup {
-    display:            table-column-group;
-}
-
-col {
-    display:            table-column;
-}
-
-thead {
-    display:            table-header-group;
-    vertical-align:     middle;
-}
-
-tbody {
-    display:            table-row-group;
-}
-
-tfoot {
-    display:            table-footer-group;
-    vertical-align:     middle;
-}
-
-tr {
-    display:            table-row;
-}
-
-th {
-    display:            table-cell;
-    font-weight:        bold;
-    padding:            1px;
-}
-
-td { 
-    display:            table-cell;
-    padding:            1px;
-}
-
-/* lists */
-
-ul {
-    display:            block;
-    list-style-type:    disc;
-    margin:             1em 0em;
-    padding-left:       40px;
-}
-
-ol {
-    display:            block;
-    list-style-type:    decimal;
-    margin:             1em 0em;
-    padding-left:       40px;
-}
-
-dl {
-    display:            block;
-    margin:             1em 0em;
-}
-
-dt {
-    display:            block;
-    margin-left:        1em;
-}
-
-dd {
-    display:            block;
-    margin-left:        3em;
-}
-
-li {
-    display:            list-item;
-}
-
-/* nested lists have no top/bottom margins */
-ul ul, ul ol, ul dl,
-ol ul, ol ol, ol dl,
-dl ul, dl ol, dl dl {
-    margin-top:         0;
-    margin-bottom:      0;
-}
-
-/* 2 deep unordered lists use a circle */
-ol ul, ul ul {
-    list-style-type:    circle;
-}
-
-/* 3 deep (or more) unordered lists use a square */
-ol ol ul, ol ul ul,
-ul ol ul, ul ul ul {
-  list-style-type:      square;
-}
-
-/* hyperlinks */
-
-a:link {
-    color:              #FF0000;
-}
-
-a:visited {
-    color:              #FF6600;
-}
-
-a:hover {
-    color:              #FF0000;
-}
-
-a:active {
-    color:              #FF0000;
-}
-
-a:focus {
-    color:              #FF0000;
-}
-
-a[name]:link, a[id]:link:not([href]) {
-    color:              #000000;
-}
-
-a[name]:hover, a[id]:hover:not([href]) {
-    color:              #000000;
-}
-
-a[name]:active, a[id]:active:not([href]) {
-    color:              #000000;
-}
-
-a[name]:focus, a[id]:focus:not([href]) {
-    color:              #000000;
-}
-
-a img {
-    border:             none;
-}
-
-/* hidden elements */
-area, base, basefont, head, meta, script, style, title,
-noembed, noframes, noscript, param {
-    display:            none;
-}
-
-/* forms */
-
-/* misc */
-legend {
-    padding-left:       2px;
-    padding-right:      2px;
-    border:             none;
-}
-
-fieldset {
-    display:            block;
-    margin-left:        2px;
-    margin-right:       2px;
-    padding:            0.75em 0.625em;
-    border:             2px groove ThreeDFace;
-}
-
-label {
-    cursor:             default;
-}
-
-/* default inputs, text inputs, and selects */
-input [type=""], input[type="text"], input[type="password"] {
-    padding:            1px 0px 1px 0px;
-    border:             2px inset ThreeDFace;
-    text-transform:     none;
-    vertical-align:     text-bottom;
-    cursor:             text;
-}
-
-textarea {
-    margin:             1px 0px 1px 0px;
-    border:             2px inset ThreeDFace;
-    font-size:          medium;
-    text-transform:     none;
-    vertical-align:     text-bottom;
-    cursor:             text;
-}
-
-select {
-    margin:             0;
-    border-color:       ThreeDFace;
-    white-space:        nowrap;
-    vertical-align:     text-bottom;
-    cursor:             default;
-    border-width:       2px;
-    border-style:       inset;
-}
-
-select[size] {
-    padding:            1px 0px 1px 0px;
-}
-
-select[size="1"] {
-    padding:            0px;
-}
-
-option {
-    display: block;
-}
-
-option :checked {
-    background-color:   Highlight;
-    color:              HighlightText;
-}
-
-optgroup {
-    display:            block;
-    font-style:         italic;
-    font-weight:        bold;
-}
-
-optgroup > option {
-    padding-left:       20px;
-    font-style:         normal;
-    font-weight:        normal;
-}
-
-optgroup :before {
-    display:            block;
-    content:            attr(label);
-}
-
-option[disabled],
-optgroup[disabled] {
-    background-color:   transparent;
-}
-
-/* hidden inputs */
-input[type="hidden"] {
-    display:            none;
-    padding:            0em;
-    border:             0em;
-    cursor:             auto;
-}
-
-/* image buttons */
-input[type="image"] {
-    padding:            0em;
-    border:             none;
-    background-color:   transparent;
-    vertical-align:     baseline;
-    font-family:        sans-serif;
-    font-size:          small;
-    cursor:             pointer;
-}
-
-input[type="image"][disabled] {
-    cursor:             default;
-}
-
-/* file selector */
-input[type="file"] {
-    white-space:        nowrap;
-    cursor:             default;
-    padding:            0px;
-    border-style:       none;
-}
-
-/* radio buttons and check boxes*/
-input[type="radio"] {
-    width:              13px;
-    height:             13px;
-    margin:             3px 3px 0px 5px;
-    padding:            0px;
-    vertical-align:     baseline;
-    cursor:             default;
-}
-
-/* check boxes */
-input[type="checkbox"] {
-    width:              13px;
-    height:             13px;
-    margin:             3px 3px 3px 4px;
-    padding:            0px;
-    vertical-align:     text-bottom;
-    cursor:             default;
-}
-
-input[type="checkbox"]:focus,
-input[type="radio"]:focus {
-    border-style: groove;
-}
-
-input[type="checkbox"]:hover:active,
-input[type="radio"]:hover:active {
-    background-color:   ThreeDFace;
-    border-style:       inset;
-}
-
-/* buttons */
-button, 
-input[type="reset"],
-input[type="button"],
-input[type="submit"] { 
-    text-transform:     none;
-    padding:            2px 0 2px 0;
-    border:             2px outset ButtonFace;
-    background-color:   ButtonFace;
-    color:              ButtonText; 
-    white-space:        pre;
-    vertical-align:     text-bottom;
-    cursor:             default;
-}
-
-button:active:hover,
-input[type="reset"]:active:hover,
-input[type="button"]:active:hover,
-input[type="submit"]:active:hover {
-    padding:            3px 0 1px 0;
-    border-style:       inset;
-}
-
-/* disables inputs */
-
-input[disabled],
-textarea[disabled],
-option[disabled],
-optgroup[disabled],
-select[disabled] {
-    color:              GrayText;
-    background-color:   ThreeDFace;
-    cursor:             default;
-}
-
-input[type="radio"][disabled],
-input[type="radio"][disabled]:active,
-input[type="radio"][disabled]:hover,
-input[type="radio"][disabled]:hover:active,
-input[type="checkbox"][disabled],
-input[type="checkbox"][disabled]:active,
-input[type="checkbox"][disabled]:hover,
-input[type="checkbox"][disabled]:hover:active {
-    padding:            1px;
-    border:             1px inset ThreeDShadow;
-    color:              GrayText;
-    background-color:   ThreeDFace;
-}
-
-button[disabled]:active, button[disabled],
-input[type="reset"][disabled]:active,
-input[type="reset"][disabled],
-input[type="button"][disabled]:active,
-input[type="button"][disabled],
-select[disabled] > input[type="button"],
-select[disabled] > input[type="button"]:active,
-input[type="submit"][disabled]:active,
-input[type="submit"][disabled] {
-    padding:            3px 1px 3px 1px;
-    border:             1px outset ButtonShadow;
-    color:              GrayText;
-}
-
-/* DocBook-XSLT-specific extensions */
-
-div.figure {
-    margin-top: 1.9ex;
-}
-
-div.note {
-    margin-top: 1.0ex;
-    margin-bottom: 1.0ex;
-}
-
-div.tip {
-    margin-top: 1.0ex;
-    margin-bottom: 1.0ex;
-}
-
-div.warning {
-    margin-top: 1.0ex;
-    margin-bottom: 1.0ex;
-}
-
-div.caution {
-    margin-top: 1.0ex;
-    margin-bottom: 1.0ex;
-}
-
-div.important {
-    margin-top: 1.0ex;
-    margin-bottom: 1.0ex;
-}
-
-div.figure {
-    margin-bottom: 0.8ex;
-}
-
-div.example {
-    margin-bottom: 0.8ex;
-}
-
-div.equation {
-    margin-bottom: 0.8ex;
-}
--- a/Admin/website/dist/css/isabelle_base.css	Wed Sep 21 14:46:10 2005 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,179 +0,0 @@
-/************************************************************
- * Stylesheet Isabelle (all-media basics)                   *
- ************************************************************/
-
-/* $Id$ */
-
-@namespace url(http://www.w3.org/1999/xhtml); /* DOES ANYONE KNOW WHAT'S THAT ABOUT!? */
-
-/* generic color settings */
-body {
-    background-color: #FFFFFF;
-}
-
-a:link {
-    color: #0000A0;
-}
-
-a:visited {
-    color: #5050A0;
-}
-
-a:hover {
-    color: #FFFFFF;
-    background-color: #0000FF;
-}
-
-a:hover img {
-    /* gets rid of some of hover highlight */
-    background-color: #FFFFFF;
-}
-
-a:active {
-    color: #00DDFF;
-}
-
-a:focus {
-    color: #00DDFF;
-}
-
-img {
-    border: none;
-}
-
-/* generic formatting */
-h1 { 
-    margin-top: 2em;
-    font-size: 230%;
-}
-
-h2 {
-    margin-top: 1em;
-    font-size: x-large;
-    text-align: left;
-    background-color: #8080F0;
-}
-
-h3 {
-    margin-top: 0.7em;
-    font-size: medium;
-    text-align: left;
-    background-color: #8080F0;
-}
-
-p {
-    margin-top: 0.3em;
-    margin-bottom: 0.4em;
-}
-
-/* indendation of following paragraphs */
-/* p + p {
-  text-indent: 0.8em;
-} */
-
-/* navigation layout */
-div#navigation ul {
-    list-style-type: none;
-    margin: 0em;
-    padding: 0em;
-    width: 100%;
-}
-
-div#navigation ul li {
-    margin: 0em;
-    padding: 0em;
-}
-
-div#navigation ul li span {
-    display: block;
-    margin: 1ex 0em;
-    padding: 1ex 0em;
-    text-align: center;
-    vertical-align: middle;
-    background-color: #E0E0F0;
-    border-left: 7px solid #FFFFFF;
-}
-
-div#navigation ul li strong {
-    display: block;
-    font-weight: normal;
-    margin: 1ex 0em;
-    padding: 1ex 0em;
-    text-align: center;
-    vertical-align: middle;
-    background-color: #E0E0F0;
-    border-left: 7px solid #0000A0;
-}
-
-/* footer layout */
-div#footer p {
-    text-align: right;
-    font-size: x-small;
-}
-
-/* embedded images */
-img.left {
-    margin-right: 8pt;
-    float: left;
-}
-
-/* shell commands */
-tt.shellcmd {
-    font-family: monospace;
-}
-
-ul.shellcmd {
-    background-color: #C0C0E0;
-    font-family: monospace;
-    list-style-type: none;
-    margin-top: 1ex;
-    margin-bottom: 1ex;
-    margin-left: 4em;
-    margin-right: 4em;
-    padding-left: 0pt;
-}
-
-ul.shellcmd li:before {
-    content: "$ ";
-    font-weight: bold;
-}
-
-/* the faq */
-dl.faq dt {
-    background-color: #8080F0;
-    padding: 3px;
-    margin-top: 12px;
-    font-weight: bold;
-}
-
-dl.faq dd {
-    padding: 3px;
-    margin-top: 3px;
-}
-
-/* download tables */
-table.download {
-    margin-top: 2ex;
-    margin-left: auto;
-    margin-right: auto;
-    text-align: center;
-    border-spacing: 4px;
-}
-
-table.download tr td {
-    text-align: left;
-    background-color: #C0C0E0;
-    padding: 0.4ex 1em 0.4ex 1em;
-}
-
-table.download tr td.downloadheader {
-    text-align: left;
-    font-weight: bold;
-    background-color: #8080F0;
-    /* margin-top doesn't seem to work */
-    border-top: 1ex solid #E0E0F0;
-}
-
-table.download tr td + td + td {
-    text-align: right;
-}
--- a/Admin/website/dist/css/isabelle_print.css	Wed Sep 21 14:46:10 2005 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,74 +0,0 @@
-/************************************************************
- * Stylesheet Isabelle (print media)                        *
- ************************************************************/
-
-/* $Id$ */
-
-@namespace url(http://www.w3.org/1999/xhtml); /* DOES ANYONE KNOW WHAT'S THAT ABOUT!? */
-
-/* use times font for floating text */
-p, body, th, td {
-    font-family: Times New Roman,times,serif;
-}
-
-/* body margin */
-body {
-    margin: 4pt;
-}
-
-/* no rulers (they are just a supplemental for non-css browsers) */
-hr {
-    display: none;
-    visibility: hidden;
-    height: 0pt;
-    width: 0pt;
-}
-
-/* header layout */
-div#header {
-    position: relative;
-    height: 94px; 
-    background-color: #FFFFFF;
-}
-
-div#header h1 {
-    position: absolute;
-    top: 0px;
-    left: 0px;
-    margin: 0px;
-}
-
-div#header a#isabelle_logo {
-    position: absolute;
-    right: 0px;
-}
-
-div#header a#univ_tum {
-    display: none;
-}
-
-div#header a#univ_cambridge {
-    display: none;
-}
-
-div#header span.headersep {
-    display: none;
-}
-
-/* navigation layout */
-div#navigation {
-    display: none;
-}
-
-/* footer layout */
-div#footer {
-    position: relative;
-    top: 8px;
-    clear: both;
-    border-top: 2px solid #000000;
-}
-
-/* mirrorlist */
-div.mirrorlist {
-    display: none;
-}
\ No newline at end of file
--- a/Admin/website/dist/css/isabelle_screen.css	Wed Sep 21 14:46:10 2005 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,139 +0,0 @@
-/************************************************************
- * Stylesheet Isabelle (screen media)                       *
- ************************************************************/
-
-/* $Id$ */
-
-@namespace url(http://www.w3.org/1999/xhtml); /* DOES ANYONE KNOW WHAT'S THAT ABOUT!? */
-
-/* no rulers (they are just a supplemental for non-css browsers) */
-hr {
-    display: none;
-    visibility: hidden;
-    height: 0pt;
-    width: 0pt;
-}
-
-div.hr {
-    /* a special for KHTML */
-    display: none;
-}
-
-/* header layout */
-div#header {
-    position: relative;
-    height: 90pt; 
-    background-color: #FFFFFF;
-}
-
-div#header h1 {
-    /* center between logos */
-    position: absolute;
-    top: 27px;
-    left: 200px;
-    right: 270px;
-    margin: 0px;
-}
-
-div#header a#isabelle_logo {
-    position: absolute;
-    top: 10px;
-    left: 3.2ex;
-}
-
-div#header a#univ_tum {
-    position: absolute;
-    top: 25px;
-    right: 40px;
-}
-
-div#header a#univ_cambridge {
-    position: absolute;
-    top: 25px;
-    right: 130px;
-}
-
-div#header span.headersep {
-    display: none;
-}
-
-/* navigation layout */
-div#navigation {
-    position: relative;
-    top: 2em;
-    left: 1ex;
-    bottom: 4px;
-    padding: 0.5em 0.5em;
-    float: left;
-    width: 17ex;
-    background-color: #FFFFFF;
-    border-top: 2px solid #0000A0;
-    border-bottom: 2px solid #0000A0;
-}
-
-div#navigation h2 {
-    display: none;
-}
-
-/* footer layout */
-div#footer {
-    margin-top: 2em;
-}
-
-/* content layout */
-div#content {
-    position: static;
-    left: 4px;
-    margin-left: 23ex;
-    margin-right: 3%;
-    background-color: #E0E0F0;
-    padding-left: 20px;
-    padding-right: 20px;
-    padding-bottom: 20px;
-}
-
-div#content h2 { 
-    margin-left: -20px;
-    margin-right: -20px;
-    padding-left: 20px;
-    padding-top: 0.2ex;
-    padding-bottom: 0.2ex;
-    border-bottom: 1ex solid #E0E0F0;
-}
-
-div#content h3 { 
-    margin-right: -20px;
-    padding-top: 0.4ex;
-    padding-bottom: 0.2ex;
-    padding-left: 10px;
-}
-
-/* mirror switch layout */
-div.mirrorlist {
-    margin: 1ex 0em;
-    padding: 2pt;
-    background-color: #E0E0F0;
-    text-align: left;
-    border-left: 7px solid #FFFFFF;
-}
-
-div.mirrorlist h3 {
-    margin: 1pt;
-    padding: 1pt;
-    border: none;
-    background-color: #FFFFFF;
-    color: #0000A0;
-    font-size: 11pt;
-    text-align: left;
-}
-
-div.mirrorlist ul {
-    margin: 1pt 1pt 1pt 1em;
-    padding: 0pt;
-}
-
-div.mirrorlist ul li {
-    font-size: 8pt;
-    font-style: italics;
-    padding: 0pt 12pt 0pt 0pt;
-}
\ No newline at end of file
Binary file Admin/website/dist/img/favicon.ico has changed
Binary file Admin/website/dist/img/isabelle_logo.gif has changed
Binary file Admin/website/dist/img/screenshot_isabelle_macos.gif has changed
Binary file Admin/website/dist/img/tutorial_cover_big.gif has changed
Binary file Admin/website/dist/img/tutorial_cover_small.gif has changed
Binary file Admin/website/dist/img/univ_cambridge.gif has changed
Binary file Admin/website/dist/img/univ_tum.gif has changed
Binary file Admin/website/dist/misc/isabelle_droplet.dmg has changed
--- a/Admin/website/documentation.html	Wed Sep 21 14:46:10 2005 +0200
+++ b/Admin/website/documentation.html	Wed Sep 21 16:37:37 2005 +0200
@@ -18,8 +18,8 @@
 
         <h2>Getting started</h2>
 
-        <a href="//dist/img/tutorial_cover_big.gif">
-            <img class="left" src="//dist/img/tutorial_cover_small.gif" alt="Cover " 
+        <a href="//img/tutorial_cover_big.gif">
+            <img class="right" src="//img/tutorial_cover_small.gif" alt="Cover " 
                 width="83" height="125"/>
         </a>
         <p>For getting started with Isabelle quickly, we recommend the <a href=
@@ -27,7 +27,7 @@
         Isabelle/HOL</a> (published by Springer Verlag as <a href=
         "http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a>) and the <a href=
         "#course_material">course material</a>.</p>
-        <br clear="all" />
+        <br clear="right" />
 
         <h2>Mailing list and FAQ</h2>
     
--- a/Admin/website/faq.html	Wed Sep 21 14:46:10 2005 +0200
+++ b/Admin/website/faq.html	Wed Sep 21 16:37:37 2005 +0200
@@ -30,15 +30,15 @@
     
       <dt>Where can I find documentation?</dt>
     
-      <dd><a href="http://isabelle.in.tum.de/docs.html">This way, please</a>.
+      <dd><a href="http://isabelle.in.tum.de/documentation.html">This way, please</a>.
           Also have a look at the <a href=
-          "http://isabelle.in.tum.de/library/">theory library</a>.</dd>
+          "http://isabelle.in.tum.de/dist/library/">theory library</a>.</dd>
     
       <dt>Is it available for download?</dt>
     
-      <dd>Yes, it is available from <a href=
-          "http://isabelle.in.tum.de/dist/">several mirror sites</a>. It should run
-          on most recent Unix systems (Solaris, Linux, MacOS X, etc.).</dd>
+      <dd>Yes, it is available from several mirror sites, e.&nbsp;g. from
+          <a href="http://isabelle.in.tum.de">Munich</a>. It should run
+          on most recent Unix systems (Solaris, Linux, MacOS&nbsp;X, etc.).</dd>
     
 </dl>
       <h2>Syntax</h2>
Binary file Admin/website/img/c_isabelle_lemmas.gif has changed
Binary file Admin/website/img/favicon.ico has changed
Binary file Admin/website/img/isabelle_logo.gif has changed
Binary file Admin/website/img/isabelle_pg_screenshot_big.png has changed
Binary file Admin/website/img/isabelle_pg_screenshot_small.png has changed
Binary file Admin/website/img/screenshot_isabelle_macos.gif has changed
Binary file Admin/website/img/screenshot_isabelle_pg.png has changed
Binary file Admin/website/img/tutorial_cover_big.gif has changed
Binary file Admin/website/img/tutorial_cover_small.gif has changed
Binary file Admin/website/img/univ_cambridge.gif has changed
Binary file Admin/website/img/univ_tum.gif has changed
--- a/Admin/website/include/header.include.html	Wed Sep 21 14:46:10 2005 +0200
+++ b/Admin/website/include/header.include.html	Wed Sep 21 16:37:37 2005 +0200
@@ -4,14 +4,14 @@
 <div id="header">
     <h1><?title?></h1>
     <a id="isabelle_logo" href="http://isabelle.in.tum.de/index.html">
-        <img src="//dist/img/isabelle_logo.gif" width="114" height="100" alt="Isabelle home" />
+        <img src="//img/isabelle_logo.gif" width="114" height="100" alt="Isabelle home" />
     </a>
     <span class="headersep"></span>
     <a id="univ_tum" target="_blank" href="http://www4.in.tum.de/proj/theoremprov/group.html">
-        <img src="//dist/img/univ_tum.gif" width="45" height="55" alt="Isabelle in Munich" />
+        <img src="//img/univ_tum.gif" width="45" height="55" alt="Isabelle in Munich" />
     </a>
     <span class="headersep"></span>
     <a id="univ_cambridge" target="_blank" href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html">
-        <img src="//dist/img/univ_cambridge.gif" width="169" height="55" alt="Isabelle in Cambridge" />
+        <img src="//img/univ_cambridge.gif" width="169" height="55" alt="Isabelle in Cambridge" />
     </a>
 </div>
--- a/Admin/website/include/htmlheader.include.html	Wed Sep 21 14:46:10 2005 +0200
+++ b/Admin/website/include/htmlheader.include.html	Wed Sep 21 16:37:37 2005 +0200
@@ -4,16 +4,16 @@
 <dummy:wrapper xmlns:dummy="http://nowhere.no">
     <?contentType?>
     <!-- the very base - here all elements are fixed to a certain base style -->
-    <link rel="stylesheet" type="text/css" media="all" href="//dist/css/aelfwine.css"/>
+    <link rel="stylesheet" type="text/css" media="all" href="//css/aelfwine.css"/>
     <!-- basic isabelle-site-specific styles -->
-    <link rel="stylesheet" type="text/css" media="all" href="//dist/css/isabelle_base.css"/>
+    <link rel="stylesheet" type="text/css" media="all" href="//css/isabelle_base.css"/>
     <!-- advanced sceen styles - they are imported such that they are ignored by old-fashioned browsers -->
     <style type="text/css" media="screen">
-        @import url(<?relativeRoot href="dist/css/isabelle_screen.css"?>);
+        @import url(<?relativeRoot href="css/isabelle_screen.css"?>);
     </style>
     <!-- advanced print styles -->
-    <link rel="stylesheet" type="text/css" media="print" href="//dist/css/isabelle_print.css"/>
-    <link rel="icon" href="//dist/img/favicon.ico" type="image/icon"/>
+    <link rel="stylesheet" type="text/css" media="print" href="//css/isabelle_print.css"/>
+    <link rel="icon" href="//img/favicon.ico" type="image/icon"/>
     <meta name="language" content="en"/>
     <meta name="robots" content="index follow"/>
     <meta name="author" content="Tobias Nipkow, Lawrence Paulson, Markus Wenzel, Gerwin Klein, Florian Haftmann" />
--- a/Admin/website/index.html	Wed Sep 21 14:46:10 2005 +0200
+++ b/Admin/website/index.html	Wed Sep 21 16:37:37 2005 +0200
@@ -100,10 +100,10 @@
 <h2>Download</h2>
 
 <p>
-The Isabelle distribution is distributed <em>for free</em> and available
-from several <a href="mirrors.html">mirror sites</a>. It includes
-source and binary packages and browsable documentation. You can also
-browse the <a href="//library/index.html">Isabelle theory library</a>
+The Isabelle distribution is distributed for free under the BSD license.
+It includes source and binary packages and browsable documentation,
+see the <a href="installation.html">installation instructions</a>. You can also
+browse the <a href="//dist/library/index.html">Isabelle theory library</a>
 online. 
 </p>
 
--- a/Admin/website/installation_macos_emacs.html	Wed Sep 21 14:46:10 2005 +0200
+++ b/Admin/website/installation_macos_emacs.html	Wed Sep 21 16:37:37 2005 +0200
@@ -61,11 +61,11 @@
         </ul>
 
         <p>You may want to install this drag-and-drop <a href=
-        "//dist/misc/isabelle_droplet.dmg">Isabelle launcher</a>. It is a simple hack that
+        "//misc/isabelle_droplet.dmg">Isabelle launcher</a>. It is a simple hack that
         invokes XEmacs on any files dropped on it.</p>
 
         <p>Here is a <a href=
-        "//dist/img/screenshot_isabelle_macos.gif">screenshot</a> showing Proof General running
+        "//img/screenshot_isabelle_macos.gif">screenshot</a> showing Proof General running
         in GNU Emacs.</p>
 
     </div>
--- a/Admin/website/installation_notes_cygwin.html	Wed Sep 21 14:46:10 2005 +0200
+++ b/Admin/website/installation_notes_cygwin.html	Wed Sep 21 16:37:37 2005 +0200
@@ -108,9 +108,6 @@
         <li>tar -C /usr/opt -xvzf ProofGeneral.tar.gz</li>
       </ul>
       
-      <p>During extraction, one inconvenience may occur, see <a href=
-      "#inconvenience">below</a>.</p>
-    
       <p>The location <tt class="shellcmd">/opt</tt> again is just a proposal; if you choose other
       locations, some tweaking in the <a href="#config"><tt class="shellcmd">etc/settings</tt>
       file</a> may be neccessary later.</p>
@@ -166,8 +163,9 @@
     
       <ul class="shellcmd">
         <li>cd /opt/Isabelle</li>
+        <li>build FOL</li>
+        <li>build ZF</li>
         <li>build HOL</li>
-        <li>build ZF</li>
       </ul>
 
       <p>The compilation process may take some time (depending on how fast the
@@ -215,38 +213,6 @@
       
       <p>and assigning a shortcut in the start menu to it.</p>
     
-      <h2 id="inconvenience">Inconveniencies with the current version of
-      Isabelle</h2>
-    
-      <p>With the current Isabelle release (Isabelle 2004), there are two
-      inconveniencies:</p>
-    
-      <ul>
-        <li>During extraction you will get a warning that file
-        <tt class="shellcmd">Real/HahnBanach/Aux.thy</tt> can not be created. This is because
-        <tt class="shellcmd">Aux</tt> is not allowed as a filename under Windows. If you do not want
-        to run the HahnBanach example, you might simply want to ignore this
-        warning.</li>
-    
-        <li>The tool <tt class="shellcmd">isatool mkdir</tt> tries to detect the name of the current
-        user, to put it into the generated <tt class="shellcmd">root.tex</tt>. Alas, on Windows,
-        this leads to an unquoted <tt>\</tt> in the TeX file. So you either must
-        edit your <tt class="shellcmd">root.tex</tt> manually to fix this, or directly patch
-        <tt class="shellcmd">/opt/Isabelle/lib/Tools/mkdir</tt> by replacing
-    
-          <blockquote>
-            <tt>AUTHOR=$("$AUTO_PERL" -e "@pw = getpwnam(\"$USER\"); print @pw[6]" | tr _ -)</tt>
-          </blockquote>with
-    
-          <blockquote>
-            <tt>AUTHOR="default author name"</tt>
-          </blockquote>
-        </li>
-      </ul>
-    
-      <p>To get around these inconveniencies, consider using a recent developer
-      snapshot of Isabelle; both will be fixed in the next Isabelle release.</p>
-    
       <h2 id="polyml">A note on Poly/ML</h2>
     
       <p>As indicated above, Isabelle does <em>not</em> run neatly with <a href=
--- a/Admin/website/logics.html	Wed Sep 21 14:46:10 2005 +0200
+++ b/Admin/website/logics.html	Wed Sep 21 16:37:37 2005 +0200
@@ -24,25 +24,25 @@
       
       <p>The Isabelle distribution includes a large body of
       object logics and other examples (see the <a href=
-      "library/index.html">Isabelle theory library</a>).</p>
+      "//dist/library/index.html">Isabelle theory library</a>).</p>
     
       <dl>
-        <dt id="isabelle_hol"><a href="//library/HOL/index.html">Isabelle/HOL</a></dt>
+        <dt id="isabelle_hol"><a href="//dist/library/HOL/index.html">Isabelle/HOL</a></dt>
         <dd>is a version of classical higher-order logic resembling that of the
         <a href="http://www.cl.cam.ac.uk/Research/HVG/HOL/">HOL System</a>. The
         main libraries of the HOL 4 System are now <a href=
-        "library/HOL/HOL-Complex/HOL4/index.html">available in Isabelle</a>.</dd>
+        "//dist/library/HOL/HOL-Complex/HOL4/index.html">available in Isabelle</a>.</dd>
     
         <dt><a href=
-        "library/HOLCF/index.html">Isabelle/HOLCF</a></dt>
+        "//dist/library/HOLCF/index.html">Isabelle/HOLCF</a></dt>
         <dd>adds Scott's Logic for Computable Functions (domain theory) to
         HOL.</dd>
     
-        <dt><a href="//library/FOL/index.html">Isabelle/FOL</a></dt>
+        <dt><a href="//dist/library/FOL/index.html">Isabelle/FOL</a></dt>
         <dd>provides basic classical and intuitionistic first-order logic. It is
         polymorphic.</dd>
     
-        <dt><a href="//library/ZF/index.html">Isabelle/ZF</a></dt>
+        <dt><a href="//dist/library/ZF/index.html">Isabelle/ZF</a></dt>
             <dd>offers a formulation of Zermelo-Fraenkel set theory on top of FOL.</dd>
       </dl>
 
@@ -51,8 +51,8 @@
       advanced definitional concepts like (co-)inductive sets and types,
       well-founded recursion etc. The distribution also includes some large
       applications, for example correctness proofs of cryptographic protocols
-      (<a href="//library/HOL/Auth/index.html">HOL/Auth</a>) or communication
-      protocols (<a href="//library/HOLCF/IOA/index.html">HOLCF/IOA</a>).</p>
+      (<a href="//dist/library/HOL/Auth/index.html">HOL/Auth</a>) or communication
+      protocols (<a href="//dist/library/HOLCF/IOA/index.html">HOLCF/IOA</a>).</p>
     
       <p><em>Isabelle/ZF</em> provides another starting point for applications, with a
       slightly less developed library. Its definitional packages are similar to
@@ -60,11 +60,11 @@
       sets than simply-typed HOL.</p>
     
       <p>There are a few minor object logics that may serve as further examples:
-      <a href="//library/CTT/index.html">CTT</a> is an extensional version of
-      Martin-L&ouml;f's Type Theory, <a href="//library/Cube/index.html">Cube</a> is
+      <a href="//dist/library/CTT/index.html">CTT</a> is an extensional version of
+      Martin-L&ouml;f's Type Theory, <a href="//dist/library/Cube/index.html">Cube</a> is
       Barendregt's Lambda Cube. There are also some sequent calculus examples under
-      <a href="//library/Sequents/index.html">Sequents</a>, including modal and
-      linear logics. Again see the <a href="//library/index.html">Isabelle theory
+      <a href="//dist/library/Sequents/index.html">Sequents</a>, including modal and
+      linear logics. Again see the <a href="//dist/library/index.html">Isabelle theory
       library</a> for other examples.</p>
     
       <h2>Defining Logics</h2>
Binary file Admin/website/misc/isabelle_droplet.dmg has changed
--- a/Admin/website/overview.html	Wed Sep 21 14:46:10 2005 +0200
+++ b/Admin/website/overview.html	Wed Sep 21 16:37:37 2005 +0200
@@ -37,13 +37,13 @@
       University of Munich, Germany).</p>
 
       <p>Isabelle is distributed <em>freely</em> under the open source
-      <!--a href="//dist/packages/Isabelle/COPYRIGHT"-->BSD license<!--/a-->.
-      You may use any of our <a href="mirrors.html">mirrors</a> for download.</p>
+      <!--a href="//dist/packages/Isabelle/COPYRIGHT"-->BSD license<!--/a-->;
+      see the <a href="installation.html">installation instructions</a>.</p>
 
       <h2>Preview of Isabelle</h2>
 
         <a href="//media/pg_preview.mov">
-            <img class="left" src="//img/isabelle_pg_screenshot_small.png" alt="Sreenshot "
+            <img class="left" src="//img/screenshot_isabelle_pg.png" alt="Isabelle Screenshot"
                 width="250" height="277" />
         </a>