# HG changeset patch # User wenzelm # Date 1128073422 -7200 # Node ID c495e6029d00beaca0087f93ee251075e03c2aae # Parent 643f0f4293aeb60a9b0c52e606bf3374526da819 tuned; diff -r 643f0f4293ae -r c495e6029d00 Admin/website/index.html --- a/Admin/website/index.html Fri Sep 30 10:58:11 2005 +0200 +++ b/Admin/website/index.html Fri Sep 30 11:43:42 2005 +0200 @@ -44,7 +44,7 @@ bibliography, and Isabelle workshops and courses.
-Some highlights: