equal
deleted
inserted
replaced
85 |
85 |
86 * Less waste of vertical space via negative line spacing (see Global |
86 * Less waste of vertical space via negative line spacing (see Global |
87 Options / Text Area). |
87 Options / Text Area). |
88 |
88 |
89 * Improved graphview panel with optional output of PNG or PDF, for |
89 * Improved graphview panel with optional output of PNG or PDF, for |
90 display of 'thy_deps', 'locale_deps', 'class_deps' etc. |
90 display of 'thy_deps', 'class_deps' etc. |
91 |
91 |
92 * The commands 'thy_deps' and 'class_deps' allow optional bounds to |
92 * The commands 'thy_deps' and 'class_deps' allow optional bounds to |
93 restrict the visualized hierarchy. |
93 restrict the visualized hierarchy. |
94 |
94 |
95 * Improved scheduling for asynchronous print commands (e.g. provers |
95 * Improved scheduling for asynchronous print commands (e.g. provers |