Thu, 22 Nov 2012 12:22:03 +0100 |
wenzelm |
some support for breakable text and paragraphs;
|
file |
diff |
annotate
|
Mon, 01 Oct 2012 16:37:22 +0200 |
wenzelm |
report sort assignment of visible type variables;
|
file |
diff |
annotate
|
Tue, 25 Sep 2012 22:36:06 +0200 |
wenzelm |
basic integration of graphview into document model;
|
file |
diff |
annotate
|
Mon, 24 Sep 2012 17:28:36 +0200 |
wenzelm |
more explicit keyword1/keyword2 markup -- avoid potential conflict with input token markup produced by Token_Marker;
|
file |
diff |
annotate
|
Thu, 20 Sep 2012 21:31:56 +0200 |
wenzelm |
tuned rendering;
|
file |
diff |
annotate
|
Tue, 18 Sep 2012 17:20:40 +0200 |
wenzelm |
more explicit message markup and rendering;
|
file |
diff |
annotate
|
Fri, 14 Sep 2012 18:12:41 +0200 |
wenzelm |
clarified markup names;
|
file |
diff |
annotate
|
Wed, 12 Sep 2012 13:21:33 +0200 |
wenzelm |
avoid spaces in markup names, which might cause problems in boundary situations (e.g. HTML class);
|
file |
diff |
annotate
|
Fri, 31 Aug 2012 13:23:25 +0200 |
wenzelm |
further refinement of command status, to accomodate forked proofs;
|
file |
diff |
annotate
|
Thu, 30 Aug 2012 15:26:37 +0200 |
wenzelm |
refined status of forked goals;
|
file |
diff |
annotate
|
Sat, 11 Aug 2012 17:24:21 +0200 |
wenzelm |
clarified "bad" markup: proper body text, invent missing serial on Scala side (counting backwards);
|
file |
diff |
annotate
|
Fri, 10 Aug 2012 15:57:22 +0200 |
wenzelm |
sneak message into "bad" markup as property -- to be displayed after YXML parsing;
|
file |
diff |
annotate
|
Fri, 10 Aug 2012 10:23:54 +0200 |
wenzelm |
discontinued mostly unused markup for command spans;
|
file |
diff |
annotate
|
Fri, 10 Aug 2012 10:18:07 +0200 |
wenzelm |
more visible markup of malformed input as "bad";
|
file |
diff |
annotate
|
Tue, 07 Aug 2012 19:16:58 +0200 |
wenzelm |
simplified process startup phases: INIT suffices for is_ready;
|
file |
diff |
annotate
|
Tue, 07 Aug 2012 17:08:22 +0200 |
wenzelm |
prefer static Build.session_content for loaded theories -- discontinued incremental protocol;
|
file |
diff |
annotate
|
Tue, 07 Aug 2012 16:34:15 +0200 |
wenzelm |
prefer static Build.outer_syntax in Isabelle/Scala session -- discontinued incremental protocol;
|
file |
diff |
annotate
|
Tue, 29 May 2012 18:00:54 +0200 |
wenzelm |
more explicit treatment of return code vs. session phase;
|
file |
diff |
annotate
|
Sat, 07 Apr 2012 19:28:44 +0200 |
wenzelm |
added static command status markup, to emphasize accepted but unassigned/unparsed commands (notably in overview panel);
|
file |
diff |
annotate
|
Tue, 13 Mar 2012 21:17:37 +0100 |
wenzelm |
clarified command state -- markup within proper_range, excluding trailing whitespace;
|
file |
diff |
annotate
|
Sat, 03 Mar 2012 18:18:39 +0100 |
wenzelm |
clarified terminology of raw protocol messages;
|
file |
diff |
annotate
|
Fri, 24 Feb 2012 18:14:06 +0100 |
wenzelm |
clarifed name space "type name", which covers logical and non-logical types, and often occurs inside outer syntax "type" markup;
|
file |
diff |
annotate
|
Thu, 05 Jan 2012 14:48:41 +0100 |
wenzelm |
prefer raw_message for protocol implementation;
|
file |
diff |
annotate
|
Thu, 05 Jan 2012 14:34:18 +0100 |
wenzelm |
prefer raw_message for protocol implementation;
|
file |
diff |
annotate
|
Thu, 05 Jan 2012 14:15:37 +0100 |
wenzelm |
prefer raw_message for protocol implementation;
|
file |
diff |
annotate
|
Thu, 01 Dec 2011 11:54:39 +0100 |
wenzelm |
updated markup conforming to ML side;
|
file |
diff |
annotate
|
Tue, 29 Nov 2011 21:50:00 +0100 |
wenzelm |
clarified Time vs. Timing;
|
file |
diff |
annotate
|
Tue, 29 Nov 2011 19:49:36 +0100 |
wenzelm |
rearranged files;
|
file |
diff |
annotate
| base
|