| Sun, 08 Oct 2017 12:36:00 +0200 | wenzelm | proper output of raw ML; | changeset | files |
| Sat, 07 Oct 2017 20:31:01 +0200 | wenzelm | theory qualifier is always session name (see also 31e8a86971a8); | changeset | files |
| Sat, 07 Oct 2017 20:20:03 +0200 | wenzelm | clarified session structure; | changeset | files |
| Sat, 07 Oct 2017 15:21:25 +0200 | wenzelm | discontinued somewhat pointless session group: -g ZF may be replaced by -D ~~/src/ZF; | changeset | files |
| Sat, 07 Oct 2017 14:57:54 +0200 | wenzelm | merged | changeset | files |
| Sat, 07 Oct 2017 13:13:46 +0200 | wenzelm | clarified empty merge; | changeset | files |
| Sat, 07 Oct 2017 12:50:05 +0200 | wenzelm | permissive loaded_theories (amending 67dbf5cdc056): user errors are produced e.g. in Known.make; | changeset | files |