| 2010-01-11 |
wenzelm |
eliminated strange mutable var commands;
|
changeset |
files
|
| 2010-01-11 |
wenzelm |
updated header;
|
changeset |
files
|
| 2010-01-11 |
wenzelm |
eliminated obsolete isabelle.proofdocument.Token;
|
changeset |
files
|
| 2010-01-11 |
wenzelm |
do not override Command.hashCode -- which was inconsistent with eq anyway;
|
changeset |
files
|
| 2010-01-11 |
wenzelm |
renamed Command.content to source;
|
changeset |
files
|
| 2010-01-10 |
wenzelm |
further tuning of command_start;
|
changeset |
files
|
| 2010-01-10 |
wenzelm |
refrain from poking blink rate -- might get stuck in invisible state;
|
changeset |
files
|
| 2010-01-10 |
wenzelm |
eliminated Command.stop, which tends to case duplicate traversal of commands;
|
changeset |
files
|
| 2010-01-10 |
wenzelm |
iterators for ranges of commands/starts -- avoid extra array per document;
|
changeset |
files
|
| 2010-01-10 |
wenzelm |
tuned document changes;
|
changeset |
files
|
| 2010-01-10 |
wenzelm |
misc tuning and clarification of Document/Change;
|
changeset |
files
|
| 2010-01-10 |
wenzelm |
adhoc reset of blink rate;
|
changeset |
files
|
| 2010-01-10 |
wenzelm |
provide global "Isabelle" within interpreter loop -- using import instead of val avoids pontential conflicts with later import isabelle.jedit._;
|
changeset |
files
|
| 2010-01-09 |
wenzelm |
redirect scala.Console output during interpretation;
|
changeset |
files
|
| 2010-01-09 |
wenzelm |
bind "session";
|
changeset |
files
|
| 2010-01-09 |
wenzelm |
export isabelle_system, e.g. for use via "session" in Isabelle/Scala interpreter;
|
changeset |
files
|
| 2010-01-09 |
wenzelm |
removed unused var plugin;
|
changeset |
files
|
| 2010-01-09 |
wenzelm |
pass all jEdit jars to compiler as classpath -- to enable proper referencing of application name space;
|
changeset |
files
|
| 2010-01-08 |
wenzelm |
provide some bindings of jEdit values;
|
changeset |
files
|
| 2010-01-08 |
wenzelm |
more precise prompt etc.;
|
changeset |
files
|
| 2010-01-08 |
wenzelm |
define scala.home, for more robust startup of Scala tools, notably the compiler;
|
changeset |
files
|
| 2010-01-08 |
wenzelm |
added jEdit Console and Scala compiler;
|
changeset |
files
|
| 2010-01-07 |
wenzelm |
some attempts at Scala console plugin;
|
changeset |
files
|
| 2010-01-06 |
wenzelm |
more precise treatment of document/state assigment;
|
changeset |
files
|
| 2010-01-05 |
wenzelm |
more precise notion of bad messages;
|
changeset |
files
|
| 2010-01-05 |
wenzelm |
use Text_Edit provided by Isabelle;
|
changeset |
files
|
| 2010-01-05 |
wenzelm |
result.is_ready is not bad;
|
changeset |
files
|
| 2010-01-04 |
wenzelm |
singleton status messages, with more precise patterns -- report bad messages;
|
changeset |
files
|
| 2010-01-04 |
wenzelm |
back to explicit management of documents -- not as generic Session.Entity -- to avoid ill-defined referencing of new states;
|
changeset |
files
|
| 2010-01-03 |
wenzelm |
slightly more uniform/robust handling of visible document;
|
changeset |
files
|
| 2010-01-03 |
wenzelm |
recovered explicit Changed.id (copy of future document) -- avoids premature joining of result;
|
changeset |
files
|
| 2010-01-03 |
wenzelm |
more explicit treatment of command/document state;
|
changeset |
files
|
| 2010-01-03 |
wenzelm |
removed unused document_change bus;
|
changeset |
files
|
| 2010-01-01 |
wenzelm |
tuned;
|
changeset |
files
|
| 2010-01-01 |
wenzelm |
tuned;
|
changeset |
files
|
| 2010-01-01 |
wenzelm |
misc tuning;
|
changeset |
files
|
| 2010-01-01 |
wenzelm |
tuned Change: eliminated redundant copy of document id;
|
changeset |
files
|
| 2010-01-01 |
wenzelm |
eliminated redundant session documents database;
|
changeset |
files
|
| 2010-01-01 |
wenzelm |
use isabelle.Future;
|
changeset |
files
|
| 2010-01-01 |
wenzelm |
renamed current_document to recent_document (might be a bit older than current_change);
|
changeset |
files
|
| 2010-01-01 |
wenzelm |
renamed Proof_Document to Document;
|
changeset |
files
|
| 2009-12-31 |
wenzelm |
tuned dialog;
|
changeset |
files
|
| 2009-12-31 |
wenzelm |
improved dialog;
|
changeset |
files
|
| 2009-12-30 |
wenzelm |
basic setup for synchronous / modal (!) prover startup;
|
changeset |
files
|
| 2009-12-30 |
wenzelm |
tuned signature;
|
changeset |
files
|
| 2009-12-30 |
wenzelm |
register Proof_Document instances as session entities -- handle Markup.EDIT messages locally;
|
changeset |
files
|
| 2009-12-30 |
wenzelm |
tuned signature of isabelle.Position;
|
changeset |
files
|
| 2009-12-30 |
wenzelm |
maintain generic session entities -- cover commands, states, etc. (but not yet documents);
|
changeset |
files
|
| 2009-12-30 |
wenzelm |
unified Command and Command_State, eliminated separate Accumulator;
|
changeset |
files
|
| 2009-12-30 |
wenzelm |
removed experimental history panel;
|
changeset |
files
|
| 2009-12-30 |
wenzelm |
more explicit modeling of Command and Command_State as Session.Entity;
|
changeset |
files
|
| 2009-12-30 |
wenzelm |
updated;
|
changeset |
files
|
| 2009-12-29 |
wenzelm |
tuned;
|
changeset |
files
|
| 2009-12-29 |
wenzelm |
tuned caret_listener/selected_command;
|
changeset |
files
|
| 2009-12-29 |
wenzelm |
misc tuning;
|
changeset |
files
|
| 2009-12-29 |
wenzelm |
eliminated global Session.document_0 -- did not work due to hardwired id;
|
changeset |
files
|
| 2009-12-29 |
wenzelm |
tuned;
|
changeset |
files
|
| 2009-12-29 |
wenzelm |
tuned;
|
changeset |
files
|
| 2009-12-28 |
wenzelm |
Standard_System;
|
changeset |
files
|
| 2009-12-23 |
wenzelm |
slightly larger stack size -- default seems to be as low as 256k;
|
changeset |
files
|