| Wed, 12 Jul 2023 16:23:28 +0200 |
wenzelm |
proper system integration and renaming;
|
file |
diff |
annotate
|
| Fri, 26 Aug 2022 23:12:42 +0200 |
wenzelm |
clarified chapters: de-emphasize minor examples;
|
file |
diff |
annotate
|
| Thu, 26 Aug 2021 13:40:49 +0200 |
Kevin Kappelmann |
Backed out changeset d4af818e0880
|
file |
diff |
annotate
|
| Wed, 18 Aug 2021 12:33:31 +0200 |
nipkow |
merged
|
file |
diff |
annotate
|
| Fri, 09 Jul 2021 10:36:20 +0200 |
nipkow |
Backed out changeset fe8d0f4da0e6
|
file |
diff |
annotate
|
| Mon, 02 Aug 2021 17:20:16 +0200 |
wenzelm |
more operations on types and terms;
|
file |
diff |
annotate
|
| Thu, 08 Jul 2021 22:58:48 +0200 |
Kevin Kappelmann |
remove SpecCheck; it is now part of the AFP
|
file |
diff |
annotate
|
| Sun, 13 Oct 2019 16:26:31 +0200 |
wenzelm |
clarified sessions/directories;
|
file |
diff |
annotate
|
| Mon, 10 Dec 2018 23:03:20 +0100 |
wenzelm |
more formal Haskell project setup, with dependencies on packages from "stackage";
|
file |
diff |
annotate
|
| Mon, 05 Nov 2018 17:37:55 +0100 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| Sat, 03 Nov 2018 19:33:15 +0100 |
wenzelm |
support for Isabelle tools in Haskell;
|
file |
diff |
annotate
|
| Thu, 01 Nov 2018 13:53:29 +0100 |
wenzelm |
support for Isabelle tool development in Haskell;
|
file |
diff |
annotate
|
| Mon, 22 Oct 2018 12:22:18 +0200 |
wenzelm |
proper chapter;
|
file |
diff |
annotate
|
| Wed, 17 Feb 2016 23:06:24 +0100 |
wenzelm |
SML/NJ is no longer supported;
|
file |
diff |
annotate
|
| Sun, 21 Sep 2014 20:22:12 +0200 |
wenzelm |
renamed ISABELLE_POLYML to ML_SYSTEM_POLYML, to avoid overlap with ISABELLE_POLYML_PATH;
|
file |
diff |
annotate
|
| Sat, 26 Apr 2014 21:37:09 +1000 |
kleing |
retired wwwfind
|
file |
diff |
annotate
|
| Tue, 25 Mar 2014 14:52:35 +0100 |
wenzelm |
some SML examples;
|
file |
diff |
annotate
|
| Fri, 23 Aug 2013 15:04:00 +0200 |
wenzelm |
missing ROOT (cf. beb4ee344c22);
|
file |
diff |
annotate
|