src/Doc/JEdit/Base.thy
7 months ago wenzelm 2019-01-06 isabelle update -u path_cartouches;
2015-11-13 wenzelm 2015-11-13 more uniform jEdit properties;
2014-03-12 wenzelm 2014-03-12 some document antiquotations for Isabelle/jEdit elements; modernized theory setup;
2013-10-31 wenzelm 2013-10-31 more on automatically tried tools;
2013-09-21 wenzelm 2013-09-21 basic setup for Isabelle/jEdit documentation;