src/Tools/jEdit/src-base/Isabelle_Base.props
12 months ago wenzelm 2018-06-06 updated for release;
22 months ago wenzelm 2017-08-21 tuned;
22 months ago wenzelm 2017-08-21 added missing file (cf. 9098c36abd1a);