Thu, 19 Aug 2021 14:23:47 +0200 | wenzelm | more Haskell operations; | file | diff | annotate |
Sat, 31 Jul 2021 12:14:45 +0200 | wenzelm | more operations; | file | diff | annotate |
Wed, 28 Jul 2021 12:41:27 +0200 | wenzelm | prefer UTF8 implementation from Data.Text.Encoding (foreign C); | file | diff | annotate |
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 |