# HG changeset patch
# User berghofe
# Date 1223651550 -7200
# Node ID 53460ac408b5e6b3395bd91574a7fc0c8acba1f6
# Parent  7b2625cea982ce33be44b500338f9d03ea70d52a
Added alltt, rail, and url.

diff -r 7b2625cea982 -r 53460ac408b5 CookBook/document/root.tex
--- a/CookBook/document/root.tex	Fri Oct 10 17:11:46 2008 +0200
+++ b/CookBook/document/root.tex	Fri Oct 10 17:12:30 2008 +0200
@@ -5,6 +5,9 @@
 \usepackage{charter}
 \usepackage[pdftex]{graphicx}
 \usepackage{proof}
+\usepackage{alltt}
+\usepackage{rail}
+\usepackage{url}
 
 % Cross references to other manuals:
 \usepackage{xr}
@@ -34,6 +37,11 @@
 \newtheorem{exercise}{Exercise}[section]
 \newcommand{\solution}[1]{{\bf Solution for Exercise~\ref{#1}.}}
 
+% a table environment with proper indentation
+\newenvironment{mytable}{\begin{trivlist}\item\begin{tabular}{@{\hspace{2ex}}l}}{\end{tabular}\end{trivlist}}
+
+\hyphenation{Isabelle}
+
 \begin{document}
 
 \title{\mbox{}\\[-10ex]