| Fri, 06 Oct 2017 21:14:00 +0200 | wenzelm | clarified error for bad session-qualified imports; | changeset | files |
| Fri, 06 Oct 2017 17:13:57 +0200 | wenzelm | clarified node_syntax (amending ae38b8c0fdd9): default to overall_syntax, e.g. relevant for command spans wrt. bad header; | changeset | files |
| Thu, 05 Oct 2017 17:39:36 +0200 | wenzelm | merged | changeset | files |
| Thu, 05 Oct 2017 17:37:47 +0200 | wenzelm | completion supports theory header imports; | changeset | files |
| Thu, 05 Oct 2017 16:33:36 +0200 | wenzelm | clarified modules; | changeset | files |
| Thu, 05 Oct 2017 14:58:04 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 05 Oct 2017 15:35:24 +0100 | paulson | new theorem at_within_cbox_finite | changeset | files |