| Mon, 01 Oct 2007 15:14:57 +0200 | wenzelm | print_state_context: local theory context, not proof context; | changeset | files |
| Mon, 01 Oct 2007 15:14:56 +0200 | wenzelm | ContextPosition.put_ctxt; | changeset | files |
| Mon, 01 Oct 2007 15:14:55 +0200 | wenzelm | NameSelection: more interval checks; | changeset | files |
| Mon, 01 Oct 2007 15:14:54 +0200 | wenzelm | tuned message; | changeset | files |