isabelle: File revisions

lib/html/library_index_content.template

2022-09-11	wenzelm	proper path;	file \| diff \| annotate
2022-08-26	wenzelm	clarified chapters: de-emphasize minor examples;	file \| diff \| annotate
2021-11-03	wenzelm	proper HTTPS;	file \| diff \| annotate
2021-11-03	wenzelm	recover library_index_content.template from c337c798f64c: required for website/build/main;	file \| diff \| annotate
2020-06-08	wenzelm	clarified sessions: "Notable Examples in Isabelle/Pure";	file \| diff \| annotate
2016-04-10	wenzelm	more standard session build process, including browser_info;	file \| diff \| annotate
2016-01-16	wenzelm	keep src/Doc;	file \| diff \| annotate
2013-03-13	wenzelm	proper index for HOL-Proofs, which is also in chapter "HOL";	file \| diff \| annotate
2011-01-15	wenzelm	link HOL-Proofs/index.html, which is not reachable from regular HOL/index.html;	file \| diff \| annotate
2011-01-14	wenzelm	treat HOLCF as HOL library session, not as "logic";	file \| diff \| annotate
2010-11-28	huffman	update web description of HOLCF;	file \| diff \| annotate
2008-09-22	haftmann	added some fragments from website	file \| diff \| annotate
2007-10-30	haftmann	split library index into templates	file \| diff \| annotate

isabelle