Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
restrict default docking layout to bare minimum -- NB: Simplifier Trace still needs fine-tuning to show up on demand;
authorwenzelm
Wed, 14 May 2014 13:10:57 +0200
changeset 56962 9c2ca698690e
parent 56961 2ac12a7b1a69
child 56963 d0e04fdf4276
restrict default docking layout to bare minimum -- NB: Simplifier Trace still needs fine-tuning to show up on demand;
src/Tools/jEdit/src/jEdit.props file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/jEdit.props	Wed May 14 13:07:47 2014 +0200
+++ b/src/Tools/jEdit/src/jEdit.props	Wed May 14 13:10:57 2014 +0200
@@ -189,7 +189,6 @@
 isabelle-output.width=412
 isabelle-query.dock-position=bottom
 isabelle-simplifier-trace.dock-position=bottom
-isabelle-sledgehammer.dock-position=bottom
 isabelle-symbols.dock-position=bottom
 isabelle-theories.dock-position=right
 isabelle.complete.label=Complete Isabelle text
isabelle