src/Tools/Haskell/Test.thy
Mon, 10 Dec 2018 23:03:20 +0100 wenzelm more formal Haskell project setup, with dependencies on packages from "stackage";
Sun, 02 Dec 2018 13:29:40 +0100 wenzelm clarified signature: allow to add_files/get_files by other tools;
Sat, 01 Dec 2018 16:11:59 +0100 wenzelm clarified modules;
Fri, 30 Nov 2018 23:43:10 +0100 wenzelm more general command 'generate_file' for registered file types, notably Haskell;
Mon, 05 Nov 2018 17:37:55 +0100 wenzelm clarified names;
less more (0) tip