| Mon, 27 Jul 2009 15:51:12 +0200 |
wenzelm |
removed unused imports;
|
changeset |
files
|
| Wed, 15 Jul 2009 13:49:21 +0200 |
immler |
decode offsets with respect to symbols
|
changeset |
files
|
| Wed, 15 Jul 2009 13:13:09 +0200 |
immler |
equal should be included
|
changeset |
files
|
| Mon, 13 Jul 2009 14:30:39 +0200 |
immler |
arbitrary history
|
changeset |
files
|
| Wed, 08 Jul 2009 15:15:15 +0200 |
immler |
commands carrying state-information
|
changeset |
files
|
| Wed, 08 Jul 2009 15:15:13 +0200 |
immler |
gui element to set current document version
|
changeset |
files
|
| Wed, 08 Jul 2009 13:29:44 +0200 |
immler |
set current document version; forget "future" versions in list
|
changeset |
files
|
| Wed, 08 Jul 2009 13:29:44 +0200 |
immler |
current version in theoryview/buffer
|
changeset |
files
|
| Wed, 08 Jul 2009 13:29:43 +0200 |
immler |
activation
|
changeset |
files
|
| Wed, 08 Jul 2009 13:29:42 +0200 |
immler |
remember removed text
|
changeset |
files
|
| Wed, 08 Jul 2009 13:29:42 +0200 |
immler |
insert mode isabelle into catalog
|
changeset |
files
|
| Sun, 05 Jul 2009 17:53:27 +0200 |
wenzelm |
updated to jedit 4.3pre17 -- no longer provide separate ml.xml;
|
changeset |
files
|
| Sun, 05 Jul 2009 17:26:14 +0200 |
wenzelm |
updated to jEdit 4.3pre17;
|
changeset |
files
|
| Sun, 05 Jul 2009 17:20:28 +0200 |
wenzelm |
removed obsolete isabelle.utils.Delay;
|
changeset |
files
|
| Sat, 04 Jul 2009 23:26:24 +0200 |
wenzelm |
renamed Delay to clarified version Swing_Thread.delay;
|
changeset |
files
|
| Sat, 04 Jul 2009 23:03:17 +0200 |
wenzelm |
change_receiver: removed redundant Swing_Thread wrapper -- the Delay timer action is already in Swing;
|
changeset |
files
|