| changeset 34568 | b517d0607297 |
| parent 34563 | 0c1c8f8ee384 |
| child 34571 | ea86cc4e04c7 |
| 34567:d9e4b940cf7e | 34568:b517d0607297 |
|---|---|
48 |
48 |
49 #SideKick |
49 #SideKick |
50 sidekick.parser.isabelle.label=Isabelle |
50 sidekick.parser.isabelle.label=Isabelle |
51 mode.isabelle.sidekick.parser=isabelle |
51 mode.isabelle.sidekick.parser=isabelle |
52 mode.ml.sidekick.parser=isabelle |
52 mode.ml.sidekick.parser=isabelle |
53 |
|
54 #Hyperlinks |
|
55 mode.isabelle.hyperlink.source=isabelle |