| Wed, 03 Apr 2019 21:50:00 +0200 | wenzelm | clarified signature: more explicit operations for corresponding Isar commands; | file | diff | annotate |
| Sun, 24 Mar 2019 17:53:46 +0100 | wenzelm | clarified spell-checking (see also 30233285270a); | file | diff | annotate |
| Fri, 08 Feb 2019 14:42:28 +0100 | wenzelm | tuned signature: proper exports; | file | diff | annotate |
| Fri, 08 Feb 2019 14:06:20 +0100 | wenzelm | more Haskell operations; | file | diff | annotate |
| Tue, 15 Jan 2019 20:03:53 +0100 | wenzelm | added command 'export_generated_files'; | file | diff | annotate |
| Fri, 11 Jan 2019 11:05:36 +0100 | wenzelm | export generated files; | file | diff | annotate |
| Sat, 22 Dec 2018 15:45:40 +0100 | wenzelm | more Haskell operations: managed resources for threads; | file | diff | annotate |