isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip

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

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle