# HG changeset patch # User haftmann # Date 1127313457 -7200 # Node ID abb280dd3431411d1c38903b8c0d31120da2cc80 # Parent 623c9e8668aa8ce757521f69a6da6420447305ea unify dist and main diff -r 623c9e8668aa -r abb280dd3431 Admin/website/TODO --- 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 diff -r 623c9e8668aa -r abb280dd3431 Admin/website/build/localconf.at.template.mak --- 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 diff -r 623c9e8668aa -r abb280dd3431 Admin/website/build/localconf.sun.template.mak --- 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 diff -r 623c9e8668aa -r abb280dd3431 Admin/website/build/project.mak --- 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'; \ diff -r 623c9e8668aa -r abb280dd3431 Admin/website/css/aelfwine.css --- /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; +} diff -r 623c9e8668aa -r abb280dd3431 Admin/website/css/isabelle_base.css --- /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; +} diff -r 623c9e8668aa -r abb280dd3431 Admin/website/css/isabelle_print.css --- /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 diff -r 623c9e8668aa -r abb280dd3431 Admin/website/css/isabelle_screen.css --- /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 diff -r 623c9e8668aa -r abb280dd3431 Admin/website/dist/css/aelfwine.css --- 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; -} diff -r 623c9e8668aa -r abb280dd3431 Admin/website/dist/css/isabelle_base.css --- 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; -} diff -r 623c9e8668aa -r abb280dd3431 Admin/website/dist/css/isabelle_print.css --- 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 diff -r 623c9e8668aa -r abb280dd3431 Admin/website/dist/css/isabelle_screen.css --- 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 diff -r 623c9e8668aa -r abb280dd3431 Admin/website/dist/img/favicon.ico Binary file Admin/website/dist/img/favicon.ico has changed diff -r 623c9e8668aa -r abb280dd3431 Admin/website/dist/img/isabelle_logo.gif Binary file Admin/website/dist/img/isabelle_logo.gif has changed diff -r 623c9e8668aa -r abb280dd3431 Admin/website/dist/img/screenshot_isabelle_macos.gif Binary file Admin/website/dist/img/screenshot_isabelle_macos.gif has changed diff -r 623c9e8668aa -r abb280dd3431 Admin/website/dist/img/tutorial_cover_big.gif Binary file Admin/website/dist/img/tutorial_cover_big.gif has changed diff -r 623c9e8668aa -r abb280dd3431 Admin/website/dist/img/tutorial_cover_small.gif Binary file Admin/website/dist/img/tutorial_cover_small.gif has changed diff -r 623c9e8668aa -r abb280dd3431 Admin/website/dist/img/univ_cambridge.gif Binary file Admin/website/dist/img/univ_cambridge.gif has changed diff -r 623c9e8668aa -r abb280dd3431 Admin/website/dist/img/univ_tum.gif Binary file Admin/website/dist/img/univ_tum.gif has changed diff -r 623c9e8668aa -r abb280dd3431 Admin/website/dist/misc/isabelle_droplet.dmg Binary file Admin/website/dist/misc/isabelle_droplet.dmg has changed diff -r 623c9e8668aa -r abb280dd3431 Admin/website/documentation.html --- 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 @@

Getting started

- - Cover + Cover

For getting started with Isabelle quickly, we recommend the (published by Springer Verlag as LNCS 2283) and the course material.

-
+

Mailing list and FAQ

diff -r 623c9e8668aa -r abb280dd3431 Admin/website/faq.html --- 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 @@
Where can I find documentation?
-
This way, please. +
This way, please. Also have a look at the theory library.
+ "http://isabelle.in.tum.de/dist/library/">theory library.
Is it available for download?
-
Yes, it is available from several mirror sites. It should run - on most recent Unix systems (Solaris, Linux, MacOS X, etc.).
+
Yes, it is available from several mirror sites, e. g. from + Munich. It should run + on most recent Unix systems (Solaris, Linux, MacOS X, etc.).

Syntax

diff -r 623c9e8668aa -r abb280dd3431 Admin/website/img/c_isabelle_lemmas.gif Binary file Admin/website/img/c_isabelle_lemmas.gif has changed diff -r 623c9e8668aa -r abb280dd3431 Admin/website/img/favicon.ico Binary file Admin/website/img/favicon.ico has changed diff -r 623c9e8668aa -r abb280dd3431 Admin/website/img/isabelle_logo.gif Binary file Admin/website/img/isabelle_logo.gif has changed diff -r 623c9e8668aa -r abb280dd3431 Admin/website/img/isabelle_pg_screenshot_big.png Binary file Admin/website/img/isabelle_pg_screenshot_big.png has changed diff -r 623c9e8668aa -r abb280dd3431 Admin/website/img/isabelle_pg_screenshot_small.png Binary file Admin/website/img/isabelle_pg_screenshot_small.png has changed diff -r 623c9e8668aa -r abb280dd3431 Admin/website/img/screenshot_isabelle_macos.gif Binary file Admin/website/img/screenshot_isabelle_macos.gif has changed diff -r 623c9e8668aa -r abb280dd3431 Admin/website/img/screenshot_isabelle_pg.png Binary file Admin/website/img/screenshot_isabelle_pg.png has changed diff -r 623c9e8668aa -r abb280dd3431 Admin/website/img/tutorial_cover_big.gif Binary file Admin/website/img/tutorial_cover_big.gif has changed diff -r 623c9e8668aa -r abb280dd3431 Admin/website/img/tutorial_cover_small.gif Binary file Admin/website/img/tutorial_cover_small.gif has changed diff -r 623c9e8668aa -r abb280dd3431 Admin/website/img/univ_cambridge.gif Binary file Admin/website/img/univ_cambridge.gif has changed diff -r 623c9e8668aa -r abb280dd3431 Admin/website/img/univ_tum.gif Binary file Admin/website/img/univ_tum.gif has changed diff -r 623c9e8668aa -r abb280dd3431 Admin/website/include/header.include.html --- 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 @@ diff -r 623c9e8668aa -r abb280dd3431 Admin/website/include/htmlheader.include.html --- 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 @@ - + - + - - + + diff -r 623c9e8668aa -r abb280dd3431 Admin/website/index.html --- 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 @@

Download

-The Isabelle distribution is distributed for free and available -from several mirror sites. It includes -source and binary packages and browsable documentation. You can also -browse the Isabelle theory library +The Isabelle distribution is distributed for free under the BSD license. +It includes source and binary packages and browsable documentation, +see the installation instructions. You can also +browse the Isabelle theory library online.

diff -r 623c9e8668aa -r abb280dd3431 Admin/website/installation_macos_emacs.html --- 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 @@

You may want to install this drag-and-drop Isabelle launcher. It is a simple hack that + "//misc/isabelle_droplet.dmg">Isabelle launcher. It is a simple hack that invokes XEmacs on any files dropped on it.

Here is a screenshot showing Proof General running + "//img/screenshot_isabelle_macos.gif">screenshot showing Proof General running in GNU Emacs.

diff -r 623c9e8668aa -r abb280dd3431 Admin/website/installation_notes_cygwin.html --- 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 @@
  • tar -C /usr/opt -xvzf ProofGeneral.tar.gz
    • -

    During extraction, one inconvenience may occur, see below.

    -

    The location /opt again is just a proposal; if you choose other locations, some tweaking in the etc/settings file may be neccessary later.

    @@ -166,8 +163,9 @@

    The compilation process may take some time (depending on how fast the @@ -215,38 +213,6 @@

    and assigning a shortcut in the start menu to it.

    -

    Inconveniencies with the current version of - Isabelle

    - -

    With the current Isabelle release (Isabelle 2004), there are two - inconveniencies:

    - - - -

    To get around these inconveniencies, consider using a recent developer - snapshot of Isabelle; both will be fixed in the next Isabelle release.

    -

    A note on Poly/ML

    As indicated above, Isabelle does not run neatly with The Isabelle distribution includes a large body of object logics and other examples (see the Isabelle theory library).

    + "//dist/library/index.html">Isabelle theory library).

    -
    Isabelle/HOL
    +
    Isabelle/HOL
    is a version of classical higher-order logic resembling that of the HOL System. The main libraries of the HOL 4 System are now available in Isabelle.
    + "//dist/library/HOL/HOL-Complex/HOL4/index.html">available in Isabelle.
    Isabelle/HOLCF
    + "//dist/library/HOLCF/index.html">Isabelle/HOLCF
    adds Scott's Logic for Computable Functions (domain theory) to HOL.
    -
    Isabelle/FOL
    +
    Isabelle/FOL
    provides basic classical and intuitionistic first-order logic. It is polymorphic.
    -
    Isabelle/ZF
    +
    Isabelle/ZF
    offers a formulation of Zermelo-Fraenkel set theory on top of FOL.
    @@ -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 - (HOL/Auth) or communication - protocols (HOLCF/IOA).

    + (HOL/Auth) or communication + protocols (HOLCF/IOA).

    Isabelle/ZF 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.

    There are a few minor object logics that may serve as further examples: - CTT is an extensional version of - Martin-Löf's Type Theory, Cube is + CTT is an extensional version of + Martin-Löf's Type Theory, Cube is Barendregt's Lambda Cube. There are also some sequent calculus examples under - Sequents, including modal and - linear logics. Again see the Isabelle theory + Sequents, including modal and + linear logics. Again see the Isabelle theory library for other examples.

    Defining Logics

    diff -r 623c9e8668aa -r abb280dd3431 Admin/website/misc/isabelle_droplet.dmg Binary file Admin/website/misc/isabelle_droplet.dmg has changed diff -r 623c9e8668aa -r abb280dd3431 Admin/website/overview.html --- 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).

    Isabelle is distributed freely under the open source - BSD license. - You may use any of our mirrors for download.

    + BSD license; + see the installation instructions.

    Preview of Isabelle

    - Sreenshot