equal
deleted
inserted
replaced
18 |
18 |
19 |
19 |
20 *** System *** |
20 *** System *** |
21 |
21 |
22 * More robust termination of external processes managed by |
22 * More robust termination of external processes managed by |
23 Isabelle/ML: support cancellation of tasks in within the range of |
23 Isabelle/ML: support cancellation of tasks within the range of |
24 milliseconds, as required for PIDE document editing with add-on tools |
24 milliseconds, as required for PIDE document editing with automatically |
25 (e.g. auto Sledgehammer). |
25 tried tools (e.g. Sledgehammer). |
26 |
26 |
27 * Reactivated Isabelle/Scala kill command for external processes on |
27 * Reactivated Isabelle/Scala kill command for external processes on |
28 Mac OS X, which was accidentally broken in Isabelle2013-1 due to a |
28 Mac OS X, which was accidentally broken in Isabelle2013-1 due to a |
29 workaround for some Debian/Ubuntu Linux versions from 2013. |
29 workaround for some Debian/Ubuntu Linux versions from 2013. |
30 |
30 |