| Thu, 26 Aug 2010 12:30:43 +0200 | haftmann | private version of commas, cf. printmode | file | diff | annotate |
| Thu, 26 Aug 2010 10:23:25 +0200 | haftmann | corrected semantics of presentation_stmt_names; do not print includes on presentation selection | file | diff | annotate |