| 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 |