Sun, 21 Dec 2008 21:43:41 +0100 wenzelm renamed Plugin.plugin to Plugin.self;
Sun, 21 Dec 2008 21:43:40 +0100 wenzelm renamed Plugin.plugin to Plugin.self;
Sun, 21 Dec 2008 20:36:41 +0100 wenzelm tuned;
Sun, 21 Dec 2008 20:36:09 +0100 wenzelm renamed isabelle.jedit.UserAgent to isabelle.renderer.UserAgent;
Sun, 21 Dec 2008 20:16:43 +0100 wenzelm tuned;
Sun, 21 Dec 2008 19:51:56 +0100 wenzelm basic setup of anti-aliasing, according to jEdit property;
Sat, 20 Dec 2008 18:25:15 +0100 wenzelm tuned order of menu items;
Sat, 20 Dec 2008 18:17:39 +0100 wenzelm renamed isabelle.prover.IsabelleSKParser to isabelle.jedit.IsabelleSideKickParser;
Sat, 20 Dec 2008 17:53:00 +0100 wenzelm tuned sidekick properties;
Sat, 20 Dec 2008 17:41:57 +0100 wenzelm setPreferredSize for floating dockables;
Sat, 20 Dec 2008 17:40:30 +0100 wenzelm default docking of sidekick and isabelle-state;
Sat, 20 Dec 2008 17:16:29 +0100 wenzelm more conventional action names;
Sat, 20 Dec 2008 17:14:27 +0100 wenzelm added author field;
Sat, 20 Dec 2008 16:07:51 +0100 wenzelm regular plugin activation via "defer";
Sat, 20 Dec 2008 16:04:17 +0100 wenzelm basic isabelle mode setup;
Sat, 20 Dec 2008 14:48:10 +0100 wenzelm renamed IsabellePlugin to Isabelle;
Sat, 20 Dec 2008 14:19:12 +0100 wenzelm misc tuning and adaption according to original IsabelleParser --
Sat, 20 Dec 2008 13:27:48 +0100 wenzelm obsolete, cf. build.xml and makedist;
Sat, 20 Dec 2008 12:32:40 +0100 wenzelm MOVABLE="TRUE" reuses existing instance when changing docking position --
Sat, 20 Dec 2008 12:17:43 +0100 wenzelm updated to 4.3pre16;
Sat, 20 Dec 2008 11:07:02 +0100 wenzelm removed jEdit sources from target;
Sat, 20 Dec 2008 00:14:25 +0100 wenzelm more robust handling of FILES with spaces, using bash array variables;
Fri, 19 Dec 2008 23:56:58 +0100 wenzelm disabled tracing;
Fri, 19 Dec 2008 23:55:07 +0100 wenzelm misc tuning;
Fri, 19 Dec 2008 23:54:24 +0100 wenzelm proper spelling of JEDIT_JAVA_OPTIONS;
Fri, 19 Dec 2008 23:11:08 +0100 wenzelm added some headers and comments;
Fri, 19 Dec 2008 22:24:32 +0100 wenzelm added some headers and comments;
Thu, 18 Dec 2008 01:10:20 +0100 immler restructured: independent provers in different buffers
Mon, 15 Dec 2008 16:34:19 +0100 immler added 'delay or ignore'
Mon, 15 Dec 2008 16:23:17 +0100 immler delayed repainting new phase in buffer and overview;
Wed, 10 Dec 2008 19:52:35 +0100 immler information on command-phase left of scrollbar (with panel)
Wed, 10 Dec 2008 19:51:15 +0100 immler information on command-phase left of scrollbar
Wed, 10 Dec 2008 14:45:04 +0100 immler structure of markup-tree in scala, keep track of swing-nodes in background
Mon, 08 Dec 2008 19:11:06 +0100 immler MarkupNode instead of DefaultMutableTreeNode and RelativeAsset
Sun, 07 Dec 2008 19:55:01 +0100 immler interpretation of STATUS messages in one place, deleting inner syntax
Sun, 07 Dec 2008 15:39:50 +0100 immler no syserr
Sun, 07 Dec 2008 15:36:24 +0100 immler handle statuses in Command
Sun, 07 Dec 2008 15:01:37 +0100 immler command property: offset relative to start of command
Tue, 02 Dec 2008 15:25:24 +0100 immler include Sidekick its dependency ErrorList in dist
Sun, 30 Nov 2008 19:32:17 +0100 immler removed debugging output
Sun, 30 Nov 2008 19:18:59 +0100 immler basic tree structure for sidekick
Sat, 29 Nov 2008 19:31:09 +0100 immler encoloring only details in the current line!
Fri, 28 Nov 2008 17:49:39 +0100 immler ugly fine-grained buffer markup
Fri, 28 Nov 2008 15:51:40 +0100 immler Token-functions with type-parameters
Fri, 28 Nov 2008 15:34:52 +0100 immler moved methods to object Token
Fri, 28 Nov 2008 15:00:07 +0100 immler arbitrary type for tokens
Thu, 27 Nov 2008 22:24:53 +0100 immler removed xsymbol converting -> sidekick should do that
Thu, 27 Nov 2008 21:15:31 +0100 immler revalidate for repainting
Wed, 26 Nov 2008 18:10:53 +0100 immler merge
Wed, 19 Nov 2008 11:49:30 +0100 immler adj scrolling
Wed, 19 Nov 2008 11:45:54 +0100 immler abstract buffers and renderer
Sat, 22 Nov 2008 01:02:08 +0100 wenzelm use build-nb.xml for "debug" as well;
Sat, 22 Nov 2008 00:51:27 +0100 wenzelm basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
Wed, 19 Nov 2008 20:51:27 +0100 wenzelm updated version of nbproject, as produced by build in Netbeans 6.5;
Wed, 19 Nov 2008 20:46:54 +0100 wenzelm adapted jar locations;
Wed, 19 Nov 2008 20:46:34 +0100 wenzelm incorporated NOTES into TODO;
Wed, 19 Nov 2008 14:01:42 +0100 wenzelm updates for Netbeans 6.5;
Wed, 19 Nov 2008 11:07:22 +0100 immler pass results to Scroller
Tue, 18 Nov 2008 22:15:06 +0100 immler replacing xsymbols *after* inserting text
Tue, 18 Nov 2008 22:07:40 +0100 immler buffer as array
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip