use plain toInt;

ProofDocument: pass is_command_keyword directly, not via full-blown Prover object;

eliminated Prover.start -- part of main constructor;

tuned whitespace;

added Isabelle.default_logic;

beginnings of global document state;

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

misc tuning;

Prover.start: determine logic in one place;

more explicit indication of mutable collections;

renamed getNextCommandContaining to find_command_at; more de-camelization;

Command: added name field and toString;

misc tuning -- de-camelization;

case class Changed;

Token: plain val kind;

Command: turned content into plain val;

use Symbol.Interpretation from IsabelleSystem instance;

replaced java.util.Property by plain association list; handle_result: do not parse ignored messages; tuned;

use IsabelleProcess.parse_message (with global Isabelle.system instance);

use Symbol.Interpretation from IsabelleSystem instance;

tuned handling of accumulated results;

joined Document with ProofDocument; misc tuning;

eliminated explicit method equals, which is always behind == / != anyway in Scala;

superficial tuning;

turned Token.Kind into Enumeration;

replaced type parameter C by Command (thanks to globally simultaneous scope);

simplified implicit convertion Int => Position;

merged

removed jEdit/build-support (belongs to src distribution);

IsabelleProcess.parse_message (message markup within Scala layer);