| Wed, 08 Jul 2009 15:15:15 +0200 |
immler |
commands carrying state-information
|
file |
diff |
annotate
|
| Wed, 08 Jul 2009 13:29:44 +0200 |
immler |
current version in theoryview/buffer
|
file |
diff |
annotate
|
| Sun, 05 Jul 2009 17:20:28 +0200 |
wenzelm |
removed obsolete isabelle.utils.Delay;
|
file |
diff |
annotate
|
| Sat, 04 Jul 2009 23:26:24 +0200 |
wenzelm |
renamed Delay to clarified version Swing_Thread.delay;
|
file |
diff |
annotate
|
| Sat, 04 Jul 2009 22:25:47 +0200 |
wenzelm |
replaced utils.Delay by tune version isabelle.Delay (Pure.jar);
|
file |
diff |
annotate
|
| Fri, 22 May 2009 13:43:35 +0200 |
immler |
corrected offset
|
file |
diff |
annotate
|
| Fri, 22 May 2009 13:43:35 +0200 |
immler |
fixed duplicate activation
|
file |
diff |
annotate
|
| Wed, 22 Apr 2009 17:35:49 +0200 |
immler |
abs. stops, markup nodes depend on doc-version;
|
file |
diff |
annotate
|
| Wed, 15 Apr 2009 14:25:42 +0200 |
immler |
corrected displaying of phases in buffer with few lines;
|
file |
diff |
annotate
|
| Mon, 06 Apr 2009 20:01:33 +0200 |
immler |
implemented to_current and from_current in dependancy of document-versions
|
file |
diff |
annotate
|
| Thu, 19 Mar 2009 16:18:57 +0100 |
immler |
Prover as actor managing ProofDocument-versions (removed EventBus structural_changes);
|
file |
diff |
annotate
|
| Sun, 01 Feb 2009 13:14:36 +0100 |
immler |
respect current offsets
|
file |
diff |
annotate
|
| Tue, 27 Jan 2009 19:27:59 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Mon, 29 Dec 2008 21:01:55 +0100 |
wenzelm |
- renamed Command.Phase to Command.Status (cf. src/Pure/Isar/isar.ML);
|
file |
diff |
annotate
|
| Mon, 29 Dec 2008 20:43:04 +0100 |
wenzelm |
replaced EventSource by EventBus;
|
file |
diff |
annotate
|
| Fri, 19 Dec 2008 23:11:08 +0100 |
wenzelm |
added some headers and comments;
|
file |
diff |
annotate
|
| Thu, 18 Dec 2008 01:10:20 +0100 |
immler |
restructured: independent provers in different buffers
|
file |
diff |
annotate
|
| Mon, 15 Dec 2008 16:34:19 +0100 |
immler |
added 'delay or ignore'
|
file |
diff |
annotate
|
| Mon, 15 Dec 2008 16:23:17 +0100 |
immler |
delayed repainting new phase in buffer and overview;
|
file |
diff |
annotate
|
| Wed, 10 Dec 2008 19:52:35 +0100 |
immler |
information on command-phase left of scrollbar (with panel)
|
file |
diff |
annotate
|