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 -50 -24 +24 +50 +100 +300 +1000 +3000 +10000 +30000 tip

eliminated strange mutable var commands;
2010-01-11, by wenzelm
updated header;
2010-01-11, by wenzelm
eliminated obsolete isabelle.proofdocument.Token;
2010-01-11, by wenzelm
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

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

isabelle