| Fri, 12 Apr 2019 19:48:29 +0200 | wenzelm | report document tags as seen in the text (not the active tag of Thy_Output.present_thy); | file | diff | annotate |
| Sun, 24 Mar 2019 18:38:42 +0100 | wenzelm | clarified rendering, notably of \<^latex>CARTOUCHE in outer syntax; | file | diff | annotate |
| Sun, 24 Mar 2019 17:24:24 +0100 | wenzelm | more markup for various text kinds, notably for nested formal comments; | file | diff | annotate |