src/Tools/Haskell/Test.thy
Thu, 19 Aug 2021 14:23:47 +0200 wenzelm more Haskell operations;
Sat, 31 Jul 2021 12:14:45 +0200 wenzelm more operations;
Wed, 28 Jul 2021 12:41:27 +0200 wenzelm prefer UTF8 implementation from Data.Text.Encoding (foreign C);
Tue, 09 Apr 2019 10:51:35 +0200 wenzelm tuned -- prefer Isar command 'compile_generated_files';
Wed, 03 Apr 2019 21:50:00 +0200 wenzelm clarified signature: more explicit operations for corresponding Isar commands;
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;
less more (0) -10 -7 tip