isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -15 +15 +100 +300 tip

tuned GUI for macOS (see also https://www.formdev.com/flatlaf/macos);
4 months ago, by wenzelm
tuned NEWS;
4 months ago, by wenzelm
more robust Global Options panel: re-init OptionPane after switch, e.g. after change of "lookAndFeel" and re-init of GutterOptionPane, which implicitly depends on com.formdev.flatlaf.FlatLaf.isLafDark() -- requires to update jedit component;
4 months ago, by wenzelm
more scalable icons -- requires to update jedit component;
4 months ago, by wenzelm
proper scalable icon, also for dark mode -- requires to update jedit component;
4 months ago, by wenzelm
clarified default properties -- requires to update jedit component;
4 months ago, by wenzelm
explicit verbose option;
4 months ago, by wenzelm
clarified default properties -- requires to update jedit component;
4 months ago, by wenzelm
dropped unused ML bindings
4 months ago, by haftmann
merged
4 months ago, by wenzelm
clarified tooltip colors;
4 months ago, by wenzelm
more standard color properties, following org.gjt.sp.util.SyntaxUtilities.getColorHexString();
4 months ago, by wenzelm
tuned colors;
4 months ago, by wenzelm
explicit support for dark GUI themes in Isabelle/jEdit;
4 months ago, by wenzelm
simplified structure of patches;
4 months ago, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -15 +15 +100 +300 tip

isabelle