isabelle: src/Doc/System/document/root.tex@4b875a4c83b0 (annotated)

7838 5aca258fedcf a4paper; wenzelm parents: 7258 diff changeset	1	\documentclass[12pt,a4paper]{report}
55365 9d5aba2baa4c yet another attempt at actual underscore; wenzelm parents: 48985 diff changeset	2	\usepackage[T1]{fontenc}
10580 930ac2bfa637 include table of Isabelle standard symbols; wenzelm parents: 9695 diff changeset	3	\usepackage{supertabular}
28216 5423ad29648e basic setup for generated document sources (cf. IsarRef/isar-ref.tex); wenzelm parents: 27639 diff changeset	4	\usepackage{graphicx}
61409 9d68db31196c obsolete; wenzelm parents: 61407 diff changeset	5	\usepackage{iman,extra,isar}
48937 e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48579 diff changeset	6	\usepackage[nohyphen,strings]{underscore}
e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48579 diff changeset	7	\usepackage{isabelle,isabellesym}
e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48579 diff changeset	8	\usepackage{railsetup}
e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48579 diff changeset	9	\usepackage{style}
e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48579 diff changeset	10	\usepackage{pdfsetup}
28216 5423ad29648e basic setup for generated document sources (cf. IsarRef/isar-ref.tex); wenzelm parents: 27639 diff changeset	11
5423ad29648e basic setup for generated document sources (cf. IsarRef/isar-ref.tex); wenzelm parents: 27639 diff changeset	12	\hyphenation{Isabelle}
5423ad29648e basic setup for generated document sources (cf. IsarRef/isar-ref.tex); wenzelm parents: 27639 diff changeset	13	\hyphenation{Isar}
5423ad29648e basic setup for generated document sources (cf. IsarRef/isar-ref.tex); wenzelm parents: 27639 diff changeset	14
5423ad29648e basic setup for generated document sources (cf. IsarRef/isar-ref.tex); wenzelm parents: 27639 diff changeset	15	\isadroptag{theory}
3170 0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	16
48579 0b95a13ed90a more on "Session ROOT specifications"; wenzelm parents: 48578 diff changeset	17	\isabellestyle{literal}
61407 7ba7b8103565 @{verbatim [display]} supersedes old alltt/ttbox; wenzelm parents: 60185 diff changeset	18	\def\isastylett{\footnotesize\tt}
3170 0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	19
73723 1bbbaae6b5e3 option document_logo; wenzelm parents: 72319 diff changeset	20	\title{\includegraphics[scale=0.5]{isabelle_logo} \\[4ex] The Isabelle System Manual}
3170 0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	21
82051 1be62b17bed9 tuned documentation; wenzelm parents: 73723 diff changeset	22	\author{\emph{Makarius Wenzel} \\[3ex]
1be62b17bed9 tuned documentation; wenzelm parents: 73723 diff changeset	23	With Contributions by
1be62b17bed9 tuned documentation; wenzelm parents: 73723 diff changeset	24	Fabian Huch}
3170 0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	25
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	26	\makeindex
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	27
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	28
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	29	\begin{document}
4540 24fcf5ecae88 updated to Isabelle98; wenzelm parents: 3754 diff changeset	30
3170 0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	31	\maketitle
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	32	\pagenumbering{roman} \tableofcontents \clearfirst
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	33
62640 e36cbe677c17 clarified name; wenzelm parents: 62013 diff changeset	34	\input{Environment.tex}
48937 e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48579 diff changeset	35	\input{Sessions.tex}
e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48579 diff changeset	36	\input{Presentation.tex}
67904 465f43a9f780 documentation for the Isabelle server; wenzelm parents: 62640 diff changeset	37	\input{Server.tex}
48937 e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48579 diff changeset	38	\input{Scala.tex}
71099 20c1b9516d27 documentation on Phabricator server administration; wenzelm parents: 67904 diff changeset	39	\input{Phabricator.tex}
48937 e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48579 diff changeset	40	\input{Misc.tex}
10580 930ac2bfa637 include table of Isabelle standard symbols; wenzelm parents: 9695 diff changeset	41
7207 ad69aa13ddf6 bib; wenzelm parents: 6623 diff changeset	42	\begingroup
48057 72197611f1e9 use \tocentry as in implementation manual; wenzelm parents: 47825 diff changeset	43	\tocentry{\bibname}
30116 1fb1833cb199 \bibliographystyle{abbrv} for newer ref manuals; wenzelm parents: 28916 diff changeset	44	\bibliographystyle{abbrv} \small\raggedright\frenchspacing
48937 e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48579 diff changeset	45	\bibliography{manual}
7207 ad69aa13ddf6 bib; wenzelm parents: 6623 diff changeset	46	\endgroup
ad69aa13ddf6 bib; wenzelm parents: 6623 diff changeset	47
48057 72197611f1e9 use \tocentry as in implementation manual; wenzelm parents: 47825 diff changeset	48	\tocentry{\indexname}
8828 5be2d1745c61 improved indexing; wenzelm parents: 7882 diff changeset	49	\printindex
3170 0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	50
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	51	\end{document}

author	wenzelm
	Wed, 12 Mar 2025 11:39:00 +0100
changeset 82265	4b875a4c83b0
parent 82051	1be62b17bed9
permissions	-rw-r--r--