Wed, 15 Mar 2017 11:04:46 +0100 | wenzelm | clarified fall-back base, e.g. relevant for "isabelle jedit -l BAD"; | changeset | files |
Wed, 15 Mar 2017 10:48:46 +0100 | wenzelm | tuned whitespace; | changeset | files |
Wed, 15 Mar 2017 10:43:54 +0100 | wenzelm | map values statically; | changeset | files |