equal
deleted
inserted
replaced
82 mode.isabelle.folding=sidekick |
82 mode.isabelle.folding=sidekick |
83 mode.isabelle.sidekick.parser=isabelle |
83 mode.isabelle.sidekick.parser=isabelle |
84 mode.isabelle.sidekick.showStatusWindow.label=true |
84 mode.isabelle.sidekick.showStatusWindow.label=true |
85 mode.ml.sidekick.parser=isabelle |
85 mode.ml.sidekick.parser=isabelle |
86 sidekick.parser.isabelle.label=Isabelle |
86 sidekick.parser.isabelle.label=Isabelle |
|
87 mode.bibtex.sidekick.parser=bibtex |
|
88 mode.bibtex.folding=sidekick |
87 |
89 |