| Wed, 15 Mar 2017 13:09:08 +0100 | wenzelm | more explicit strict vs. non-strict initialization; | changeset | files |
| Wed, 15 Mar 2017 12:41:22 +0100 | wenzelm | more explicit options; | changeset | files |
| Wed, 15 Mar 2017 11:07:07 +0100 | wenzelm | unused; | changeset | files |
| 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 |
| Wed, 15 Mar 2017 10:31:42 +0100 | wenzelm | clarified modules; | changeset | files |
| Wed, 15 Mar 2017 10:08:27 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 14 Mar 2017 23:25:53 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 14 Mar 2017 22:05:59 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 14 Mar 2017 21:54:46 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 14 Mar 2017 21:43:54 +0100 | wenzelm | clarified singleton module; | changeset | files |