equal
deleted
inserted
replaced
65 <tt>COMMAND</tt> on Mac OS X) exposes additional information.</li> |
65 <tt>COMMAND</tt> on Mac OS X) exposes additional information.</li> |
66 |
66 |
67 <li>Dockable panels (e.g. <em>Output</em>) are managed as independent |
67 <li>Dockable panels (e.g. <em>Output</em>) are managed as independent |
68 windows by jEdit, which also allows multiple instances.</li> |
68 windows by jEdit, which also allows multiple instances.</li> |
69 |
69 |
70 <li>Prover process and source files are managed by the Scala layer on |
70 <li>Prover process and source files are managed by the Isabelle/Scala on |
71 the editor side. The prover experiences a mostly timeless and |
71 the editor side. The prover experiences a mostly timeless and |
72 stateless environment of formal document content.</li> |
72 stateless environment of formal document content.</li> |
73 |
73 |
74 </ul> |
74 </ul> |
75 |
75 |