diff -r c72fd8f1fceb -r c337c798f64c lib/html/library_index_header.template --- a/lib/html/library_index_header.template Thu Apr 01 07:35:03 2021 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,27 +0,0 @@ - - - - - - - The {ISABELLE} Library - - - -
- - - - - - -
[Isabelle] - - - - -
The {ISABELLE} Library
-
-
-