--- a/doc-src/Exercises/Makefile Tue Mar 30 11:25:14 2004 +0200
+++ b/doc-src/Exercises/Makefile Tue Mar 30 19:28:27 2004 +0200
@@ -1,6 +1,6 @@
all: gen pdf
-gen: g2000 g2001 g2002
+gen: g0304 g2000 g2001 g2002
dvi: gen
latex exercises
@@ -14,6 +14,9 @@
pdflatex exercises
pdflatex exercises
+g0304:
+ cd 0304; make
+
g2000:
cd 2000; make
--- a/doc-src/Exercises/exercises.tex Tue Mar 30 11:25:14 2004 +0200
+++ b/doc-src/Exercises/exercises.tex Tue Mar 30 19:28:27 2004 +0200
@@ -9,7 +9,8 @@
\title{Isabelle/HOL Exercises}
\date{\today}
-\author{Gertrud Bauer, Gerwin Klein, Tobias Nipkow,\\ Michael Wahler, Markus Wenzel}
+\author{Gertrud Bauer, Gerwin Klein, Tobias Nipkow,\\
+ Martin Strecker, Michael Wahler, Markus Wenzel}
\begin{document}
@@ -104,6 +105,17 @@
%\section{Zu 2001}
%\aufgabe{2001}{a6}{Hoare}
+
+%--------------------------------------------
+\newpage
+\section{2003/2004}
+\aufgabe{0304}{a1}{a1}
+\aufgabe{0304}{a2}{a2}
+\aufgabe{0304}{a3}{a3}
+\aufgabe{0304}{a4}{a4}
+\aufgabe{0304}{a5}{a5}
+
+%--------------------------------------------
\newpage
\bibliographystyle{abbrv}