equal
deleted
inserted
replaced
39 new isabelle.jedit.Monitor_Dockable(view, position); |
39 new isabelle.jedit.Monitor_Dockable(view, position); |
40 </DOCKABLE> |
40 </DOCKABLE> |
41 <DOCKABLE NAME="isabelle-symbols" MOVABLE="TRUE"> |
41 <DOCKABLE NAME="isabelle-symbols" MOVABLE="TRUE"> |
42 new isabelle.jedit.Symbols_Dockable(view, position); |
42 new isabelle.jedit.Symbols_Dockable(view, position); |
43 </DOCKABLE> |
43 </DOCKABLE> |
44 <DOCKABLE NAME="isabelle-simp-trace" MOVABLE="TRUE"> |
44 <DOCKABLE NAME="isabelle-simplifier-trace" MOVABLE="TRUE"> |
45 new isabelle.jedit.Simplifier_Trace_Dockable(view, position); |
45 new isabelle.jedit.Simplifier_Trace_Dockable(view, position); |
46 </DOCKABLE> |
46 </DOCKABLE> |
47 </DOCKABLES> |
47 </DOCKABLES> |