isabelle: Changelog

wenzelm [Tue, 27 Jan 2009 18:53:12 +0100] rev 34501

beginnings of global document state;

wenzelm [Tue, 27 Jan 2009 18:16:24 +0100] rev 34500

state_results: separate buffer for messages from running command; result_document: append all messages; misc tuning;

wenzelm [Tue, 27 Jan 2009 18:15:11 +0100] rev 34499

misc tuning;

wenzelm [Tue, 27 Jan 2009 17:22:55 +0100] rev 34498

Prover.start: determine logic in one place;

wenzelm [Tue, 27 Jan 2009 16:16:55 +0100] rev 34497

more explicit indication of mutable collections;

wenzelm [Tue, 20 Jan 2009 23:13:54 +0100] rev 34496

renamed getNextCommandContaining to find_command_at; more de-camelization;

wenzelm [Tue, 20 Jan 2009 22:55:45 +0100] rev 34495

Command: added name field and toString;

wenzelm [Tue, 20 Jan 2009 22:30:54 +0100] rev 34494

misc tuning -- de-camelization;

wenzelm [Tue, 20 Jan 2009 22:29:56 +0100] rev 34493

case class Changed;

wenzelm [Tue, 20 Jan 2009 22:29:41 +0100] rev 34492

Token: plain val kind;

isabelle