src/Tools/Haskell/Test.thy
Tue, 15 Jan 2019 20:03:53 +0100 wenzelm added command 'export_generated_files';
Sat, 15 Dec 2018 16:42:18 +0100 wenzelm more Haskell operations;
Thu, 13 Dec 2018 15:32:54 +0100 wenzelm more Haskell operations;
Wed, 12 Dec 2018 14:19:56 +0100 wenzelm more Haskell operations;
Mon, 10 Dec 2018 23:36:29 +0100 wenzelm more Haskell operations;
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;
less more (0) -7 tip