Fri, 26 Jun 2009 18:24:03 +0200 wenzelm renamed UTF-8-isabelle to UTF-8-Isabelle;
Fri, 26 Jun 2009 18:23:30 +0200 wenzelm pass JVM platform files, without going through the "isabelle:" VFS;
Fri, 26 Jun 2009 18:22:40 +0200 wenzelm more precise wrapping of I/O streams;
Thu, 25 Jun 2009 23:54:25 +0200 wenzelm some support for actual symbol recoding;
Thu, 25 Jun 2009 23:03:09 +0200 wenzelm added IsabelleEncoding -- a clone of utf-8 for now;
Thu, 25 Jun 2009 21:15:28 +0200 wenzelm added Boolean_Property, Int_Property;
Thu, 25 Jun 2009 21:14:10 +0200 wenzelm simplified option pane: proper logic title, hardwired font path;
Thu, 25 Jun 2009 14:19:14 +0200 wenzelm _canonPath: expand_path;
Thu, 25 Jun 2009 13:36:05 +0200 wenzelm renamed IsabelleProcess to Isabelle_Process;
Thu, 25 Jun 2009 00:36:20 +0200 wenzelm misc tuning and reorganization;
Tue, 23 Jun 2009 21:14:54 +0200 wenzelm default sidekick.complete-delay;
Tue, 23 Jun 2009 20:49:56 +0200 wenzelm fall back on Isabelle system completion (symbols only);
Tue, 23 Jun 2009 20:16:32 +0200 wenzelm use isabelle.Completion;
Thu, 18 Jun 2009 19:21:19 +0200 wenzelm acces position properties via Isabelle library;
Wed, 17 Jun 2009 00:26:46 +0200 wenzelm simplified and reactivated SideKickCompletion, cf. org.gjt.sp.jedit.gui.CompleteWord;
Wed, 17 Jun 2009 00:25:34 +0200 wenzelm basic keyword completions via isabelle.Scan.Lexicon;
Tue, 16 Jun 2009 19:52:45 +0200 wenzelm minor tuning;
Sun, 07 Jun 2009 20:45:03 +0200 wenzelm updated notes about Isabelle environment, no longer need to use "isabelle env netbeans";
Sun, 07 Jun 2009 20:17:27 +0200 wenzelm static IsabelleSystem.charset (cf. http://isabelle.in.tum.de/repos/isabelle/rev/be0f7f4f9e12);
Thu, 04 Jun 2009 23:19:17 +0200 wenzelm automated update by Scala plugin 6.7v1;
Thu, 04 Jun 2009 23:16:44 +0200 wenzelm produce ids via Isabelle.system (http://isabelle.in.tum.de/repos/isabelle/rev/c23663825e23);
Thu, 04 Jun 2009 22:08:02 +0200 wenzelm ExternalHyperlink.click: use IsabelleSystem.source_file provided in http://isabelle.in.tum.de/repos/isabelle/rev/dde1b4d1c95b
Thu, 04 Jun 2009 22:06:37 +0200 wenzelm more robust get_offsets;
Wed, 03 Jun 2009 11:26:15 +0200 wenzelm updates for Netbeans 6.7;
Tue, 02 Jun 2009 23:38:41 +0200 wenzelm merged
Tue, 02 Jun 2009 22:55:20 +0200 immler merged
Tue, 02 Jun 2009 22:55:13 +0200 immler merged; resolved superficial conflicts
Tue, 02 Jun 2009 22:22:03 +0200 immler linearset works faster here
Tue, 02 Jun 2009 19:40:20 +0200 immler lists work faster here
Tue, 02 Jun 2009 19:00:58 +0200 immler fixed duplicate document-id
Tue, 02 Jun 2009 19:00:58 +0200 immler ignore unchanged commands
Tue, 02 Jun 2009 19:00:58 +0200 immler ignore unchanged tokens
Tue, 02 Jun 2009 19:00:58 +0200 immler split change on activate
Tue, 02 Jun 2009 19:00:58 +0200 immler return unchanged node on errors
Tue, 02 Jun 2009 23:37:36 +0200 wenzelm handle_result: activate via explicit status "ready" (cf. http://isabelle.in.tum.de/repos/isabelle/rev/ce169bd37fc0);
Tue, 02 Jun 2009 22:31:58 +0200 wenzelm superficial tuning;
Tue, 02 Jun 2009 22:00:28 +0200 wenzelm updated versions;
Tue, 02 Jun 2009 21:46:32 +0200 wenzelm type_at: no quotes;
Tue, 02 Jun 2009 21:44:16 +0200 wenzelm tuned;
Tue, 02 Jun 2009 21:36:22 +0200 wenzelm use RichString.* to produce blanks;
Tue, 02 Jun 2009 21:27:51 +0200 wenzelm change_receiver: start only once (already done in actor function);
Tue, 02 Jun 2009 21:20:22 +0200 wenzelm superficial tuning;
Sat, 30 May 2009 23:27:37 +0200 wenzelm slightly more robust treatment of options via arrays;
Sat, 30 May 2009 12:11:40 +0200 wenzelm merged
Wed, 27 May 2009 17:13:58 +0200 immler outer syntax could clash with status on removed commands
Wed, 27 May 2009 17:07:02 +0200 immler no null change
Wed, 27 May 2009 16:23:15 +0200 immler fixed delete markup
Wed, 27 May 2009 15:46:06 +0200 immler check presence of begin, end in attributes
Wed, 27 May 2009 15:24:01 +0200 immler treat comments like seperate commands,
Wed, 27 May 2009 14:56:49 +0200 immler split large changes for faster responses of prover
Mon, 25 May 2009 14:36:40 +0200 immler changed handling of subdirectories
Sat, 30 May 2009 12:11:03 +0200 wenzelm more accurate setup for "jEdit" project;
Sat, 23 May 2009 14:26:51 +0200 wenzelm recovered iso-latin-1 text;
Fri, 22 May 2009 17:36:45 +0200 immler improved handling of markup-information with command=null
Fri, 22 May 2009 16:47:11 +0200 immler implemented links to other files
Fri, 22 May 2009 14:47:57 +0200 immler implemented IsabelleHyperlinkSource (only links inside the current buffer)
Fri, 22 May 2009 13:43:35 +0200 immler corrected offset
Fri, 22 May 2009 13:43:35 +0200 immler fixed duplicate activation
Fri, 22 May 2009 13:43:35 +0200 immler removed debug-painting
Fri, 22 May 2009 13:43:35 +0200 immler let MarkupNode carry arbitrary information
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip