lib/html/library_index_content.template
Wed, 03 Nov 2021 20:53:52 +0100 wenzelm proper HTTPS;
Wed, 03 Nov 2021 12:04:22 +0100 wenzelm recover library_index_content.template from c337c798f64c: required for website/build/main;
Mon, 08 Jun 2020 15:09:57 +0200 wenzelm clarified sessions: "Notable Examples in Isabelle/Pure";
Sun, 10 Apr 2016 21:46:12 +0200 wenzelm more standard session build process, including browser_info;
Sat, 16 Jan 2016 16:37:45 +0100 wenzelm keep src/Doc;
Wed, 13 Mar 2013 17:06:45 +0100 wenzelm proper index for HOL-Proofs, which is also in chapter "HOL";
Sat, 15 Jan 2011 18:49:42 +0100 wenzelm link HOL-Proofs/index.html, which is not reachable from regular HOL/index.html;
less more (0) -7 tip