Sun, 26 May 2013 21:53:10 +0200 |
wenzelm |
position constraint for dummy_pattern -- more PIDE markup;
|
file |
diff |
annotate
|
Sun, 26 May 2013 20:42:43 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 25 May 2013 15:37:53 +0200 |
wenzelm |
syntax translations always depend on context;
|
file |
diff |
annotate
|
Sun, 25 Nov 2012 19:49:24 +0100 |
wenzelm |
Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
|
file |
diff |
annotate
|
Wed, 03 Oct 2012 16:59:58 +0200 |
wenzelm |
more explicit show_type_constraint, show_sort_constraint;
|
file |
diff |
annotate
|
Wed, 03 Oct 2012 16:01:07 +0200 |
wenzelm |
printed "_ofsort" is subject to show_markup as well;
|
file |
diff |
annotate
|
Wed, 03 Oct 2012 14:58:56 +0200 |
wenzelm |
allow position constraints to coexist with 0 or 1 sort constraints;
|
file |
diff |
annotate
|
Mon, 01 Oct 2012 16:37:22 +0200 |
wenzelm |
report sort assignment of visible type variables;
|
file |
diff |
annotate
|
Sat, 29 Sep 2012 20:13:50 +0200 |
wenzelm |
proper handling of constraints stemming from idtyp_ast_tr';
|
file |
diff |
annotate
|
Sat, 29 Sep 2012 18:23:46 +0200 |
wenzelm |
more explicit Syntax_Trans.mark_bound_abs/mark_bound_body: preserve type information for show_markup;
|
file |
diff |
annotate
|
Sat, 29 Sep 2012 16:51:04 +0200 |
wenzelm |
explicit show_types takes preferenced over show_markup;
|
file |
diff |
annotate
|
Sat, 29 Sep 2012 16:17:46 +0200 |
wenzelm |
turn constraints into Isabelle_Markup.typing, depending on show_markup options;
|
file |
diff |
annotate
|
Sat, 29 Sep 2012 13:43:23 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Fri, 14 Sep 2012 18:12:41 +0200 |
wenzelm |
clarified markup names;
|
file |
diff |
annotate
|
Wed, 29 Aug 2012 11:48:45 +0200 |
wenzelm |
renamed Position.str_of to Position.here;
|
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:18:07 +0200 |
wenzelm |
more visible markup of malformed input as "bad";
|
file |
diff |
annotate
|
Sat, 17 Mar 2012 13:06:23 +0100 |
wenzelm |
added Syntax.read_typs;
|
file |
diff |
annotate
|
Fri, 17 Feb 2012 15:42:26 +0100 |
wenzelm |
simplified configuration options for syntax ambiguity;
|
file |
diff |
annotate
|
Thu, 16 Feb 2012 22:18:28 +0100 |
wenzelm |
simplified configuration options for syntax ambiguity;
|
file |
diff |
annotate
|
Thu, 05 Jan 2012 20:26:01 +0100 |
wenzelm |
discontinued Syntax.positions -- atomic parse trees are always annotated;
|
file |
diff |
annotate
|
Mon, 28 Nov 2011 22:05:32 +0100 |
wenzelm |
separate module for concrete Isabelle markup;
|
file |
diff |
annotate
|
Fri, 25 Nov 2011 23:04:12 +0100 |
wenzelm |
removed obsolete argument (cf. 954e9d6782ea);
|
file |
diff |
annotate
|
Fri, 11 Nov 2011 14:07:20 +0100 |
wenzelm |
discontinued entity text color, notably historic red for classes;
|
file |
diff |
annotate
|
Fri, 11 Nov 2011 12:52:57 +0100 |
wenzelm |
more scalable Proof_Context.prepare_sorts;
|
file |
diff |
annotate
|
Thu, 10 Nov 2011 23:30:50 +0100 |
wenzelm |
more efficient prepare_sorts -- bypass encoded positions;
|
file |
diff |
annotate
|
Thu, 10 Nov 2011 22:54:15 +0100 |
wenzelm |
suppress irrelevant positions;
|
file |
diff |
annotate
|
Thu, 10 Nov 2011 22:32:10 +0100 |
wenzelm |
pass term positions into check phase, where resulting types are reported accordingly, and eventually shown as tooltips;
|
file |
diff |
annotate
|
Thu, 10 Nov 2011 17:47:25 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|