| Sun, 11 Sep 2022 12:23:50 +0200 |
wenzelm |
proper path;
|
file |
diff |
annotate
|
| Fri, 26 Aug 2022 23:12:42 +0200 |
wenzelm |
clarified chapters: de-emphasize minor examples;
|
file |
diff |
annotate
|
| 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
|
| 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
|