changeset 34518 | 7407bc6cf28d |
parent 34517 | 163cda249619 |
child 34521 | fc851e58a610 |
child 34522 | 7cd619ee3917 |
34517:163cda249619 | 34518:7407bc6cf28d |
---|---|
1 /* |
1 /* |
2 * include isabelle's command- and keyword-declarations |
2 * include isabelle's command- and keyword-declarations |
3 * live in jEdits syntax-highlighting |
3 * live in jEdits syntax-highlighting |
4 * |
|
5 * one TokenMarker per prover |
|
6 * |
4 * |
7 * @author Fabian Immler, TU Munich |
5 * @author Fabian Immler, TU Munich |
8 */ |
6 */ |
9 |
7 |
10 package isabelle.jedit |
8 package isabelle.jedit |