| 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 |
| Tue, 08 Mar 2016 14:44:11 +0100 | wenzelm | more abstract Session.start, without prover command-line; | changeset | files |
| Tue, 08 Mar 2016 11:18:21 +0100 | wenzelm | removed pointless option: this is meant for web services using Isabelle/Scala, not command-line tools; | changeset | files |
| Mon, 07 Mar 2016 22:40:43 +0100 | wenzelm | prospective command line entry point for simplified isabelle_process; | changeset | files |
| Mon, 07 Mar 2016 22:37:31 +0100 | wenzelm | tuned signature; | changeset | files |