equal
deleted
inserted
replaced
37 isabelle-protocol \ |
37 isabelle-protocol \ |
38 isabelle-query \ |
38 isabelle-query \ |
39 isabelle-raw-output \ |
39 isabelle-raw-output \ |
40 isabelle-simplifier-trace \ |
40 isabelle-simplifier-trace \ |
41 isabelle-sledgehammer \ |
41 isabelle-sledgehammer \ |
|
42 isabelle-state \ |
42 isabelle-symbols \ |
43 isabelle-symbols \ |
43 isabelle-syslog \ |
44 isabelle-syslog \ |
44 isabelle-theories \ |
45 isabelle-theories \ |
45 isabelle-timing |
46 isabelle-timing |
46 isabelle-debugger.label=Debugger panel |
47 isabelle-debugger.label=Debugger panel |
63 isabelle-raw-output.title=Raw Output |
64 isabelle-raw-output.title=Raw Output |
64 isabelle-simplifier-trace.label=Simplifier Trace panel |
65 isabelle-simplifier-trace.label=Simplifier Trace panel |
65 isabelle-simplifier-trace.title=Simplifier Trace |
66 isabelle-simplifier-trace.title=Simplifier Trace |
66 isabelle-sledgehammer.label=Sledgehammer panel |
67 isabelle-sledgehammer.label=Sledgehammer panel |
67 isabelle-sledgehammer.title=Sledgehammer |
68 isabelle-sledgehammer.title=Sledgehammer |
|
69 isabelle-state.label=State panel |
|
70 isabelle-state.title=State |
68 isabelle-symbols.label=Symbols panel |
71 isabelle-symbols.label=Symbols panel |
69 isabelle-symbols.title=Symbols |
72 isabelle-symbols.title=Symbols |
70 isabelle-syslog.label=Syslog panel |
73 isabelle-syslog.label=Syslog panel |
71 isabelle-syslog.title=Syslog |
74 isabelle-syslog.title=Syslog |
72 isabelle-theories.label=Theories panel |
75 isabelle-theories.label=Theories panel |