equal
deleted
inserted
replaced
17 |
17 |
18 *** Prover IDE -- Isabelle/Scala/jEdit *** |
18 *** Prover IDE -- Isabelle/Scala/jEdit *** |
19 |
19 |
20 * Support for BibTeX files: context menu, context-sensitive token |
20 * Support for BibTeX files: context menu, context-sensitive token |
21 marker, SideKick parser. |
21 marker, SideKick parser. |
|
22 |
|
23 * Document antiquotation @{cite} provides formal markup, which is |
|
24 interpreted semi-formally based on .bib files that happen to be opened |
|
25 in the editor (hyperlinks etc.). |
22 |
26 |
23 |
27 |
24 *** Pure *** |
28 *** Pure *** |
25 |
29 |
26 * Command "class_deps" takes optional sort arguments constraining |
30 * Command "class_deps" takes optional sort arguments constraining |