| Wed, 18 Mar 2020 16:46:07 +0100 | wenzelm | backed out changeset 7eadccd4392c: too confusing wrt. text overview panel; | file | diff | annotate |
| Sun, 15 Mar 2020 11:55:16 +0100 | wenzelm | claried error elements: include internalized errors of tokens/commands; | file | diff | annotate |
| 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 |