| Sun, 01 Mar 2020 21:52:21 +0100 | wenzelm | more Isabelle/jEdit actions; | file | diff | annotate |
| 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 |
| Sun, 17 Mar 2019 20:03:55 +0100 | wenzelm | more meta data from "dcterms" (superset of "dc"); | file | diff | annotate |
| Mon, 11 Mar 2019 20:47:04 +0100 | wenzelm | support for document meta data in PIDE and RDF; | file | diff | annotate |
| Mon, 11 Mar 2019 19:14:21 +0100 | wenzelm | tuned signature; | file | diff | annotate |