| Fri, 26 Jun 2009 20:07:34 +0200 |
wenzelm |
completion: decode symbols only if isabelle encoding is active (to prevent unicode chars written back to file);
|
file |
diff |
annotate
|
| Tue, 23 Jun 2009 20:49:56 +0200 |
wenzelm |
fall back on Isabelle system completion (symbols only);
|
file |
diff |
annotate
|
| Tue, 23 Jun 2009 20:16:32 +0200 |
wenzelm |
use isabelle.Completion;
|
file |
diff |
annotate
|
| Wed, 17 Jun 2009 00:26:46 +0200 |
wenzelm |
simplified and reactivated SideKickCompletion, cf. org.gjt.sp.jedit.gui.CompleteWord;
|
file |
diff |
annotate
|
| Fri, 22 May 2009 13:43:35 +0200 |
immler |
ML types in tooltip
|
file |
diff |
annotate
|
| Fri, 22 May 2009 13:43:34 +0200 |
immler |
reduced to one markup-tree
|
file |
diff |
annotate
|
| Wed, 22 Apr 2009 17:35:49 +0200 |
immler |
abs. stops, markup nodes depend on doc-version;
|
file |
diff |
annotate
|
| Thu, 19 Feb 2009 20:44:28 +0100 |
immler |
tokens and commands as lists
|
file |
diff |
annotate
|
| Tue, 27 Jan 2009 19:27:59 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Mon, 19 Jan 2009 23:29:44 +0100 |
wenzelm |
joined Document with ProofDocument;
|
file |
diff |
annotate
|
| Mon, 19 Jan 2009 21:58:38 +0100 |
wenzelm |
eliminated explicit method equals, which is always behind == / != anyway in Scala;
|
file |
diff |
annotate
|
| Mon, 12 Jan 2009 20:49:37 +0100 |
immler |
implemented IsabelleSideKickParser.complete
|
file |
diff |
annotate
|
| Sat, 27 Dec 2008 14:13:05 +0100 |
wenzelm |
renamed object Plugin to Isabelle;
|
file |
diff |
annotate
|
| Sun, 21 Dec 2008 21:43:40 +0100 |
wenzelm |
renamed Plugin.plugin to Plugin.self;
|
file |
diff |
annotate
|
| Sat, 20 Dec 2008 18:17:39 +0100 |
wenzelm |
renamed isabelle.prover.IsabelleSKParser to isabelle.jedit.IsabelleSideKickParser;
|
file |
diff |
annotate
| base
|