| 2009-01-10 |
immler |
changed install/uninstall prover on view to private
|
changeset |
files
|
| 2009-01-10 |
immler |
merged
|
changeset |
files
|
| 2009-01-10 |
immler |
create folder 'jars' before copying
|
changeset |
files
|
| 2008-12-19 |
immler |
ability to deactivate buffers
|
changeset |
files
|
| 2009-01-02 |
wenzelm |
adapted Isar.command;
|
changeset |
files
|
| 2008-12-29 |
wenzelm |
- renamed Command.Phase to Command.Status (cf. src/Pure/Isar/isar.ML);
|
changeset |
files
|
| 2008-12-29 |
wenzelm |
tuned;
|
changeset |
files
|
| 2008-12-29 |
wenzelm |
replaced EventSource by EventBus;
|
changeset |
files
|
| 2008-12-29 |
wenzelm |
obsolete (cf. isabelle.EventBus in Pure/General/event_bus.scala);
|
changeset |
files
|
| 2008-12-29 |
wenzelm |
removed debug output;
|
changeset |
files
|
| 2008-12-29 |
wenzelm |
eliminated hardwired string constants;
|
changeset |
files
|
| 2008-12-28 |
wenzelm |
removed redundant CommandChangeInfo;
|
changeset |
files
|
| 2008-12-28 |
wenzelm |
command id via Isabelle.plugin;
|
changeset |
files
|
| 2008-12-28 |
wenzelm |
tuned;
|
changeset |
files
|
| 2008-12-28 |
wenzelm |
added central id generator;
|
changeset |
files
|
| 2008-12-28 |
wenzelm |
command state color: use PG 4.0 values;
|
changeset |
files
|
| 2008-12-28 |
wenzelm |
tuned;
|
changeset |
files
|
| 2008-12-28 |
wenzelm |
superficial tuning;
|
changeset |
files
|
| 2008-12-28 |
wenzelm |
use symbolic Markup elements instead of literal strings;
|
changeset |
files
|
| 2008-12-28 |
wenzelm |
replaced inUIThread by scala-style swing/swing_async combinators;
|
changeset |
files
|
| 2008-12-27 |
wenzelm |
dynamic instances Isabelle.system, Isabelle.symbols;
|
changeset |
files
|
| 2008-12-27 |
wenzelm |
use System.getenv temporarily;
|
changeset |
files
|
| 2008-12-27 |
wenzelm |
replaced static IsabelleSystem by Isabelle.system;
|
changeset |
files
|
| 2008-12-27 |
wenzelm |
renamed object Plugin to Isabelle;
|
changeset |
files
|
| 2008-12-27 |
wenzelm |
IsabelleSystem.find_logics;
|
changeset |
files
|
| 2008-12-21 |
wenzelm |
proper import isabelle.renderer.UserAgent;
|
changeset |
files
|
| 2008-12-21 |
wenzelm |
dummy class to make ant javadoc work;
|
changeset |
files
|
| 2008-12-21 |
wenzelm |
use Plugin.self.symbols;
|
changeset |
files
|
| 2008-12-21 |
wenzelm |
renamed Plugin.plugin to Plugin.self;
|
changeset |
files
|
| 2008-12-21 |
wenzelm |
renamed Plugin.plugin to Plugin.self;
|
changeset |
files
|
| 2008-12-21 |
wenzelm |
renamed Plugin.plugin to Plugin.self;
|
changeset |
files
|
| 2008-12-21 |
wenzelm |
renamed Plugin.plugin to Plugin.self;
|
changeset |
files
|
| 2008-12-21 |
wenzelm |
tuned;
|
changeset |
files
|
| 2008-12-21 |
wenzelm |
renamed isabelle.jedit.UserAgent to isabelle.renderer.UserAgent;
|
changeset |
files
|
| 2008-12-21 |
wenzelm |
tuned;
|
changeset |
files
|
| 2008-12-21 |
wenzelm |
basic setup of anti-aliasing, according to jEdit property;
|
changeset |
files
|
| 2008-12-20 |
wenzelm |
tuned order of menu items;
|
changeset |
files
|
| 2008-12-20 |
wenzelm |
renamed isabelle.prover.IsabelleSKParser to isabelle.jedit.IsabelleSideKickParser;
|
changeset |
files
|
| 2008-12-20 |
wenzelm |
tuned sidekick properties;
|
changeset |
files
|
| 2008-12-20 |
wenzelm |
setPreferredSize for floating dockables;
|
changeset |
files
|
| 2008-12-20 |
wenzelm |
default docking of sidekick and isabelle-state;
|
changeset |
files
|
| 2008-12-20 |
wenzelm |
more conventional action names;
|
changeset |
files
|
| 2008-12-20 |
wenzelm |
added author field;
|
changeset |
files
|
| 2008-12-20 |
wenzelm |
regular plugin activation via "defer";
|
changeset |
files
|
| 2008-12-20 |
wenzelm |
basic isabelle mode setup;
|
changeset |
files
|
| 2008-12-20 |
wenzelm |
renamed IsabellePlugin to Isabelle;
|
changeset |
files
|
| 2008-12-20 |
wenzelm |
misc tuning and adaption according to original IsabelleParser --
|
changeset |
files
|
| 2008-12-20 |
wenzelm |
obsolete, cf. build.xml and makedist;
|
changeset |
files
|
| 2008-12-20 |
wenzelm |
MOVABLE="TRUE" reuses existing instance when changing docking position --
|
changeset |
files
|
| 2008-12-20 |
wenzelm |
updated to 4.3pre16;
|
changeset |
files
|
| 2008-12-20 |
wenzelm |
removed jEdit sources from target;
|
changeset |
files
|
| 2008-12-19 |
wenzelm |
more robust handling of FILES with spaces, using bash array variables;
|
changeset |
files
|
| 2008-12-19 |
wenzelm |
disabled tracing;
|
changeset |
files
|
| 2008-12-19 |
wenzelm |
misc tuning;
|
changeset |
files
|
| 2008-12-19 |
wenzelm |
proper spelling of JEDIT_JAVA_OPTIONS;
|
changeset |
files
|
| 2008-12-19 |
wenzelm |
added some headers and comments;
|
changeset |
files
|
| 2008-12-19 |
wenzelm |
added some headers and comments;
|
changeset |
files
|
| 2008-12-18 |
immler |
restructured: independent provers in different buffers
|
changeset |
files
|
| 2008-12-15 |
immler |
added 'delay or ignore'
|
changeset |
files
|
| 2008-12-15 |
immler |
delayed repainting new phase in buffer and overview;
|
changeset |
files
|