Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Exercises added
authorwebertj
Sat, 13 Nov 2004 17:30:03 +0100
changeset 15282 765d5d6e4468
parent 15281 bd4611956c7b
child 15283 f21466450330
Exercises added
Admin/page/main-content/index.content file | annotate | diff | comparison | revisions 
--- a/Admin/page/main-content/index.content	Sat Nov 13 07:47:34 2004 +0100
+++ b/Admin/page/main-content/index.content	Sat Nov 13 17:30:03 2004 +0100
@@ -35,7 +35,7 @@
 
 <p>
 
-<h2>Course Material</h2>
+<h2>Course Material, Exercises</h2>
 
 The <a
 href="http://isabelle.in.tum.de/coursematerial/">course material</a>
isabelle