2007-10-30 haftmann [Tue, 30 Oct 2007 15:13:48 +0100] rev 25242
fixed typo
ANNOUNCE

2007-10-30 haftmann [Tue, 30 Oct 2007 14:39:37 +0100] rev 25241
const antiquotation clarified
src/Pure/Thy/thy_output.ML

2007-10-30 haftmann [Tue, 30 Oct 2007 14:39:36 +0100] rev 25240
clarified
src/Pure/Isar/theory_target.ML

2007-10-30 haftmann [Tue, 30 Oct 2007 14:39:35 +0100] rev 25239
handling of notation in class target
src/Pure/Isar/class.ML

2007-10-30 haftmann [Tue, 30 Oct 2007 12:14:24 +0100] rev 25238
fixed document preparation
src/HOL/Ring_and_Field.thy

2007-10-30 haftmann [Tue, 30 Oct 2007 12:14:23 +0100] rev 25237
improved website integration
Admin/makedist

2007-10-30 haftmann [Tue, 30 Oct 2007 12:14:22 +0100] rev 25236
adjusted
Admin/CHECKLIST

2007-10-30 haftmann [Tue, 30 Oct 2007 10:51:35 +0100] rev 25235
split library index into templates
Admin/makedist lib/Tools/usedir lib/html/index.html lib/html/library_index_content.template lib/html/library_index_footer.template lib/html/library_index_header.template

2007-10-30 haftmann [Tue, 30 Oct 2007 10:51:35 +0100] rev 25234
split library index into templates
lib/Tools/usedir

2007-10-30 haftmann [Tue, 30 Oct 2007 10:41:19 +0100] rev 25233
structured
lib/html/index.html