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