| Thu, 26 May 2011 00:12:30 +0200 |
krauss |
css rules for highlighting sendback text
|
file |
diff |
annotate
|
| Wed, 30 Mar 2011 22:06:25 +0200 |
wenzelm |
visualize skolem and hilite (undeclared frees);
|
file |
diff |
annotate
|
| Fri, 17 Sep 2010 22:17:57 +0200 |
wenzelm |
discontinued Output.debug, which belongs to early PGIP experiments (b6788dbd2ef9) and causes just too many problems (like spamming the message channel if it is used by more than one module);
|
file |
diff |
annotate
|
| Fri, 17 Sep 2010 17:10:44 +0200 |
wenzelm |
allow embedded reports in regular prover messages, to avoid side-effects for errors for example;
|
file |
diff |
annotate
|
| Fri, 17 Sep 2010 15:51:11 +0200 |
wenzelm |
eliminated markup "location" in favour of more explicit "no_report", which is actually deleted from messages;
|
file |
diff |
annotate
|
| Wed, 08 Sep 2010 23:40:48 +0200 |
wenzelm |
isabelle-jedit.css: suppress "location" markup, which indicates extra positional information intended for plain-old TTY mode;
|
file |
diff |
annotate
|
| Thu, 03 Jun 2010 22:45:49 +0200 |
wenzelm |
tracing in aliceblue;
|
file |
diff |
annotate
|
| Sun, 30 May 2010 15:27:49 +0200 |
wenzelm |
less pschedelic token markup;
|
file |
diff |
annotate
|
| Tue, 25 May 2010 23:03:13 +0200 |
wenzelm |
eliminated obsolete priority message from Isabelle_Process protocol;
|
file |
diff |
annotate
|
| Sat, 22 May 2010 20:02:26 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 21 May 2010 20:46:00 +0200 |
wenzelm |
some message styling;
|
file |
diff |
annotate
|
| Fri, 21 May 2010 16:40:25 +0200 |
wenzelm |
observe additional isabelle-jedit.css for component and user;
|
file |
diff |
annotate
|