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

removed debug output;
2008-12-29, by wenzelm
eliminated hardwired string constants;
2008-12-29, by wenzelm
removed redundant CommandChangeInfo;
2008-12-28, by wenzelm
command id via Isabelle.plugin;
2008-12-28, by wenzelm
tuned;
2008-12-28, by wenzelm
added central id generator;
2008-12-28, by wenzelm
command state color: use PG 4.0 values;
2008-12-28, by wenzelm
tuned;
2008-12-28, by wenzelm
superficial tuning;
2008-12-28, by wenzelm
use symbolic Markup elements instead of literal strings;
2008-12-28, by wenzelm
replaced inUIThread by scala-style swing/swing_async combinators;
2008-12-28, by wenzelm
dynamic instances Isabelle.system, Isabelle.symbols;
2008-12-27, by wenzelm
use System.getenv temporarily;
2008-12-27, by wenzelm
replaced static IsabelleSystem by Isabelle.system;
2008-12-27, by wenzelm
renamed object Plugin to Isabelle;
2008-12-27, by wenzelm
IsabelleSystem.find_logics;
2008-12-27, by wenzelm
proper import isabelle.renderer.UserAgent;
2008-12-21, by wenzelm
dummy class to make ant javadoc work;
2008-12-21, by wenzelm
use Plugin.self.symbols;
2008-12-21, by wenzelm
renamed Plugin.plugin to Plugin.self;
2008-12-21, by wenzelm
renamed Plugin.plugin to Plugin.self;
2008-12-21, by wenzelm
renamed Plugin.plugin to Plugin.self;
2008-12-21, by wenzelm
renamed Plugin.plugin to Plugin.self;
2008-12-21, by wenzelm
tuned;
2008-12-21, by wenzelm
renamed isabelle.jedit.UserAgent to isabelle.renderer.UserAgent;
2008-12-21, by wenzelm
tuned;
2008-12-21, by wenzelm
basic setup of anti-aliasing, according to jEdit property;
2008-12-21, by wenzelm
tuned order of menu items;
2008-12-20, by wenzelm
renamed isabelle.prover.IsabelleSKParser to isabelle.jedit.IsabelleSideKickParser;
2008-12-20, by wenzelm
tuned sidekick properties;
2008-12-20, by wenzelm
setPreferredSize for floating dockables;
2008-12-20, by wenzelm
default docking of sidekick and isabelle-state;
2008-12-20, by wenzelm
more conventional action names;
2008-12-20, by wenzelm
added author field;
2008-12-20, by wenzelm
regular plugin activation via "defer";
2008-12-20, by wenzelm
basic isabelle mode setup;
2008-12-20, by wenzelm
renamed IsabellePlugin to Isabelle;
2008-12-20, by wenzelm
misc tuning and adaption according to original IsabelleParser --
2008-12-20, by wenzelm
obsolete, cf. build.xml and makedist;
2008-12-20, by wenzelm
MOVABLE="TRUE" reuses existing instance when changing docking position --
2008-12-20, by wenzelm
updated to 4.3pre16;
2008-12-20, by wenzelm
removed jEdit sources from target;
2008-12-20, by wenzelm
more robust handling of FILES with spaces, using bash array variables;
2008-12-20, by wenzelm
disabled tracing;
2008-12-19, by wenzelm
misc tuning;
2008-12-19, by wenzelm
proper spelling of JEDIT_JAVA_OPTIONS;
2008-12-19, by wenzelm
added some headers and comments;
2008-12-19, by wenzelm
added some headers and comments;
2008-12-19, by wenzelm
restructured: independent provers in different buffers
2008-12-18, by immler
added 'delay or ignore'
2008-12-15, by immler
delayed repainting new phase in buffer and overview;
2008-12-15, by immler
information on command-phase left of scrollbar (with panel)
2008-12-10, by immler
information on command-phase left of scrollbar
2008-12-10, by immler
structure of markup-tree in scala, keep track of swing-nodes in background
2008-12-10, by immler
MarkupNode instead of DefaultMutableTreeNode and RelativeAsset
2008-12-08, by immler
interpretation of STATUS messages in one place, deleting inner syntax
2008-12-07, by immler
no syserr
2008-12-07, by immler
handle statuses in Command
2008-12-07, by immler
command property: offset relative to start of command
2008-12-07, by immler
include Sidekick its dependency ErrorList in dist
2008-12-02, by immler

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

isabelle