Mon, 30 Jun 2014 10:00:16 +0200 | wenzelm | updated README; | changeset | files |
Mon, 30 Jun 2014 09:43:44 +0200 | wenzelm | "isabelle tty" is superseded by "isabelle console"; | changeset | files |
Mon, 30 Jun 2014 09:31:32 +0200 | wenzelm | tuned description: fit into 80 chars terminal; | changeset | files |