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