History log of /seL4-l4v-master/isabelle/lib/html/library_index_header.template
Revision Date Author Comments
# 8096421a 14-Nov-2009 wenzelm <none@none>

eliminated obsolete CVS Ids;
tuned headers;
# 08716937 30-Oct-2007 haftmann <none@none>

split library index into templates