Mon, 23 Nov 2020 15:34:35 +0100 | wenzelm | unused; | file | diff | annotate |
Mon, 23 Nov 2020 15:14:58 +0100 | wenzelm | support for PIDE markup in batch build (inactive due to pide_reports=false); | file | diff | annotate |
Sat, 21 Nov 2020 21:02:38 +0100 | wenzelm | clarified signature: prefer Database_Context; | file | diff | annotate |
Sat, 21 Nov 2020 17:12:17 +0100 | wenzelm | clarified document output; | file | diff | annotate |
Sat, 21 Nov 2020 16:07:20 +0100 | wenzelm | clarified PDF/HTML presentation, based on pdf blobs from session database (e.g. from earlier builds); | file | diff | annotate |
Thu, 19 Nov 2020 21:23:12 +0100 | wenzelm | clarified signature; | file | diff | annotate |
Thu, 19 Nov 2020 21:12:35 +0100 | wenzelm | clarified modules; | file | diff | annotate |