isabelle: Changelog

wenzelm [Mon, 01 Oct 2007 21:19:49 +0200] rev 24802

preliminary material for Isabelle2007;

wenzelm [Mon, 01 Oct 2007 21:08:26 +0200] rev 24801

misc tuning and update;

wenzelm [Mon, 01 Oct 2007 21:04:40 +0200] rev 24800

misc tuning and update;

wenzelm [Mon, 01 Oct 2007 19:52:07 +0200] rev 24799

misc tuning and update;

wenzelm [Mon, 01 Oct 2007 19:43:34 +0200] rev 24798

updated year to 2007;

wenzelm [Mon, 01 Oct 2007 19:42:40 +0200] rev 24797

tuned;

haftmann [Mon, 01 Oct 2007 19:21:32 +0200] rev 24796

added some lemmas

wenzelm [Mon, 01 Oct 2007 15:14:57 +0200] rev 24795

print_state_context: local theory context, not proof context; context_position: cover Theory case as well (requires additional checkpoint);

wenzelm [Mon, 01 Oct 2007 15:14:56 +0200] rev 24794

ContextPosition.put_ctxt;

wenzelm [Mon, 01 Oct 2007 15:14:55 +0200] rev 24793

NameSelection: more interval checks;

isabelle