| Tue, 09 Apr 2019 10:51:35 +0200 |
wenzelm |
tuned -- prefer Isar command 'compile_generated_files';
|
file |
diff |
annotate
|
| Wed, 03 Apr 2019 21:50:00 +0200 |
wenzelm |
clarified signature: more explicit operations for corresponding Isar commands;
|
file |
diff |
annotate
|
| Tue, 15 Jan 2019 20:03:53 +0100 |
wenzelm |
added command 'export_generated_files';
|
file |
diff |
annotate
|
| Sat, 15 Dec 2018 16:42:18 +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 14:19:56 +0100 |
wenzelm |
more Haskell operations;
|
file |
diff |
annotate
|
| Mon, 10 Dec 2018 23:36:29 +0100 |
wenzelm |
more Haskell operations;
|
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
|
| Sun, 02 Dec 2018 13:29:40 +0100 |
wenzelm |
clarified signature: allow to add_files/get_files by other tools;
|
file |
diff |
annotate
|
| Sat, 01 Dec 2018 16:11:59 +0100 |
wenzelm |
clarified modules;
|
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
|
| Mon, 05 Nov 2018 17:37:55 +0100 |
wenzelm |
clarified names;
|
file |
diff |
annotate
| base
|