equal
deleted
inserted
replaced
10 |
10 |
11 * Improved PDF document preparation in Isabelle/Scala, using LuaLaTeX. |
11 * Improved PDF document preparation in Isabelle/Scala, using LuaLaTeX. |
12 |
12 |
13 * Isabelle/jEdit: improved monitoring of Java and ML process. |
13 * Isabelle/jEdit: improved monitoring of Java and ML process. |
14 |
14 |
15 * Isabelle/jEdit: various IDE feedback improvements. |
15 * Isabelle/jEdit: look-and-feel and IDE feedback improvements. |
16 |
16 |
17 * Pure: improved handling of named contexts and local syntax bundles. |
17 * Pure: improved handling of named contexts and local syntax bundles. |
18 |
18 |
19 * HOL: substantially reworked support for Word library. |
19 * HOL: substantially reworked support for Word library. |
20 |
20 |