| Thu, 03 Mar 2016 23:33:22 +0100 | wenzelm | simplified; | changeset | files |
| Thu, 03 Mar 2016 22:24:58 +0100 | wenzelm | obsolete; | changeset | files |
| Thu, 03 Mar 2016 22:16:52 +0100 | wenzelm | isabelle console -r" helps to bootstrap Isabelle/Pure; | changeset | files |
| Thu, 03 Mar 2016 21:59:21 +0100 | wenzelm | discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM; | changeset | files |
| 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 |
| Thu, 03 Mar 2016 14:03:06 +0100 | wenzelm | clarified modules; | changeset | files |