Thu, 13 Dec 2018 21:23:39 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 13 Dec 2018 21:21:06 +0100 |
wenzelm |
clarified UUID operations;
|
file |
diff |
annotate
|
Thu, 13 Dec 2018 17:37:14 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Thu, 13 Dec 2018 17:03:59 +0100 |
wenzelm |
more Haskell operations;
|
file |
diff |
annotate
|
Thu, 13 Dec 2018 15:32:54 +0100 |
wenzelm |
more Haskell operations;
|
file |
diff |
annotate
|
Wed, 12 Dec 2018 20:33:28 +0100 |
wenzelm |
more Haskell operations;
|
file |
diff |
annotate
|
Wed, 12 Dec 2018 17:34:29 +0100 |
wenzelm |
more uniform multi-language operations;
|
file |
diff |
annotate
|
Wed, 12 Dec 2018 14:19:56 +0100 |
wenzelm |
more Haskell operations;
|
file |
diff |
annotate
|
Wed, 12 Dec 2018 12:31:05 +0100 |
wenzelm |
more uniform multi-language operations;
|
file |
diff |
annotate
|
Tue, 11 Dec 2018 21:23:02 +0100 |
wenzelm |
more uniform multi-language operations;
|
file |
diff |
annotate
|
Tue, 11 Dec 2018 19:25:35 +0100 |
wenzelm |
more uniform multi-language operations;
|
file |
diff |
annotate
|
Mon, 10 Dec 2018 23:36:29 +0100 |
wenzelm |
more Haskell operations;
|
file |
diff |
annotate
|
Mon, 10 Dec 2018 23:19:37 +0100 |
wenzelm |
tuned headers;
|
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
|
Fri, 30 Nov 2018 23:43:10 +0100 |
wenzelm |
more general command 'generate_file' for registered file types, notably Haskell;
|
file |
diff |
annotate
|
Wed, 21 Nov 2018 14:33:30 +0100 |
wenzelm |
more comment markup;
|
file |
diff |
annotate
|
Mon, 19 Nov 2018 12:50:23 +0100 |
wenzelm |
more Haskell operations;
|
file |
diff |
annotate
|
Mon, 12 Nov 2018 16:07:32 +0100 |
wenzelm |
more Haskell operations;
|
file |
diff |
annotate
|
Mon, 12 Nov 2018 15:36:55 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 12 Nov 2018 15:14:12 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Mon, 12 Nov 2018 14:02:33 +0100 |
wenzelm |
more Haskell operations;
|
file |
diff |
annotate
|
Mon, 12 Nov 2018 11:41:11 +0100 |
wenzelm |
proper export;
|
file |
diff |
annotate
|
Sat, 10 Nov 2018 17:12:09 +0100 |
wenzelm |
more formal references;
|
file |
diff |
annotate
|
Sat, 10 Nov 2018 16:32:00 +0100 |
wenzelm |
more Haskell operations;
|
file |
diff |
annotate
|
Tue, 06 Nov 2018 14:53:56 +0100 |
wenzelm |
more Haskell operations;
|
file |
diff |
annotate
|
Mon, 05 Nov 2018 17:06:50 +0100 |
wenzelm |
more Haskell operations;
|
file |
diff |
annotate
|
Mon, 05 Nov 2018 11:29:11 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 04 Nov 2018 17:19:56 +0100 |
wenzelm |
more Haskell operations;
|
file |
diff |
annotate
|
Sun, 04 Nov 2018 15:28:51 +0100 |
wenzelm |
ported from src/Pure/General/value.ML;
|
file |
diff |
annotate
|
Sat, 03 Nov 2018 20:12:15 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
Sat, 03 Nov 2018 20:00:45 +0100 |
wenzelm |
tuned whitespace;
|
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
|