| Tue, 08 Mar 2016 18:38:29 +0100 | wenzelm | clarified initial ML; | changeset | files |
| Tue, 08 Mar 2016 18:15:16 +0100 | wenzelm | isabelle console is based on Isabelle/Scala; | changeset | files |
| Tue, 08 Mar 2016 17:55:11 +0100 | wenzelm | clarified process interrupt: exactly one signal (like thread interrupt); | changeset | files |
| Tue, 08 Mar 2016 17:52:33 +0100 | wenzelm | tuned signature; | changeset | files |