Thu, 03 Mar 2016 21:35:16 +0100 | wenzelm | proper return code (cf. faa452d8e265); | changeset | files |
Thu, 03 Mar 2016 21:30:31 +0100 | wenzelm | clarified isabelle_process; | changeset | files |
Thu, 03 Mar 2016 15:23:02 +0100 | wenzelm | clarified modules; | changeset | files |