| 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 |
| Sat, 15 Jan 2011 00:14:17 +0100 | wenzelm | treat HOLCF as HOL library session, not as "logic"; | file | diff | annotate |
| Sat, 27 Nov 2010 17:29:21 -0800 | huffman | update web description of HOLCF; | file | diff | annotate |
| Mon, 22 Sep 2008 08:00:23 +0200 | haftmann | added some fragments from website | file | diff | annotate |
| Tue, 30 Oct 2007 10:51:35 +0100 | haftmann | split library index into templates | file | diff | annotate |