| 2020-03-13 | wenzelm | some uses of "' " as witness for this feature; | file | diff | annotate |
| 2019-01-06 | wenzelm | isabelle update -u path_cartouches; | file | diff | annotate |
| 2019-01-05 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| 2015-10-12 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| 2015-09-01 | wenzelm | eliminated \<Colon>; | file | diff | annotate |
| 2015-01-09 | haftmann | prefer option for default code printing width | file | diff | annotate |
| 2014-03-12 | wenzelm | modernized setup; | file | diff | annotate |
| 2014-03-12 | wenzelm | some document antiquotations for Isabelle/jEdit elements; | file | diff | annotate |
| 2013-05-25 | wenzelm | syntax translations always depend on context; | file | diff | annotate |
| 2013-02-15 | haftmann | two target language numeral types: integer and natural, as replacement for code_numeral; | file | diff | annotate |
| 2012-08-28 | wenzelm | renamed doc-src to src/Doc; | file | diff | annotate | base |