src/Tools/Haskell/Haskell.thy
3 months ago wenzelm 2019-03-24 clarified spell-checking (see also 30233285270a);
5 months ago wenzelm 2019-02-08 tuned signature: proper exports;
5 months ago wenzelm 2019-02-08 more Haskell operations;
6 months ago wenzelm 2019-01-15 added command 'export_generated_files'; clarified signature;
6 months ago wenzelm 2019-01-11 export generated files;
6 months ago wenzelm 2018-12-22 more Haskell operations: managed resources for threads;
6 months ago wenzelm 2018-12-21 more robust: suitable defaults for unmanaged threads;
6 months ago wenzelm 2018-12-21 more Haskell operations;
6 months ago wenzelm 2018-12-21 more Haskell operations;
6 months ago wenzelm 2018-12-21 proper cleanup;
6 months ago wenzelm 2018-12-21 more Haskell operations;
6 months ago wenzelm 2018-12-21 tuned;
6 months ago wenzelm 2018-12-21 more Haskell operations;
6 months ago wenzelm 2018-12-20 proper trim_line according to ML/Scala versions;
6 months ago wenzelm 2018-12-19 tuned signature;
6 months ago wenzelm 2018-12-19 tuned;
7 months ago wenzelm 2018-12-18 more Isabelle/Haskell operations;
7 months ago wenzelm 2018-12-16 clarified signature;
7 months ago wenzelm 2018-12-16 tuned -- more compact;
7 months ago wenzelm 2018-12-15 more Haskell operations;
7 months ago wenzelm 2018-12-14 tuned messages;
7 months ago wenzelm 2018-12-13 tuned signature;
7 months ago wenzelm 2018-12-13 tuned;
7 months ago wenzelm 2018-12-13 clarified UUID operations; proper check of server password;
7 months ago wenzelm 2018-12-13 clarified signature;
7 months ago wenzelm 2018-12-13 more Haskell operations; clarified signature;
7 months ago wenzelm 2018-12-13 more Haskell operations;
7 months ago wenzelm 2018-12-12 more Haskell operations;
7 months ago wenzelm 2018-12-12 more uniform multi-language operations; misc tuning and clarification;
7 months ago wenzelm 2018-12-12 more Haskell operations;
7 months ago wenzelm 2018-12-12 more uniform multi-language operations; misc tuning and clarification;
7 months ago wenzelm 2018-12-11 more uniform multi-language operations; clarified modules and signature;
7 months ago wenzelm 2018-12-11 more uniform multi-language operations;
7 months ago wenzelm 2018-12-10 more Haskell operations;
7 months ago wenzelm 2018-12-10 tuned headers;
7 months ago wenzelm 2018-12-10 more formal Haskell project setup, with dependencies on packages from "stackage";
7 months ago wenzelm 2018-11-30 more general command 'generate_file' for registered file types, notably Haskell; discontinued 'generate_haskell_file', 'export_haskell_file'; eliminated generated sources: compile files in tmp dir;
7 months ago wenzelm 2018-11-21 more comment markup;
7 months ago wenzelm 2018-11-19 more Haskell operations;
8 months ago wenzelm 2018-11-12 more Haskell operations;
8 months ago wenzelm 2018-11-12 tuned signature;
8 months ago wenzelm 2018-11-12 clarified signature;
8 months ago wenzelm 2018-11-12 more Haskell operations; more accurate exports; tuned;
8 months ago wenzelm 2018-11-12 proper export;
8 months ago wenzelm 2018-11-10 more formal references;
8 months ago wenzelm 2018-11-10 more Haskell operations;
8 months ago wenzelm 2018-11-06 more Haskell operations;
8 months ago wenzelm 2018-11-05 more Haskell operations; tuned;
8 months ago wenzelm 2018-11-05 tuned;
8 months ago wenzelm 2018-11-04 more Haskell operations;
8 months ago wenzelm 2018-11-04 ported from src/Pure/General/value.ML;
8 months ago wenzelm 2018-11-03 tuned whitespace;
8 months ago wenzelm 2018-11-03 tuned whitespace;
8 months ago wenzelm 2018-11-03 support for Isabelle tools in Haskell;
8 months ago wenzelm 2018-11-01 support for Isabelle tool development in Haskell;