--- 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. g. from
+ <a href="http://isabelle.in.tum.de">Munich</a>. It should run
+ on most recent Unix systems (Solaris, Linux, MacOS 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ö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ö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>
