Wed, 08 Apr 2015 19:39:08 +0200 |
wenzelm |
proper context for Object_Logic operations;
|
file |
diff |
annotate
|
Tue, 19 Aug 2014 23:17:51 +0200 |
wenzelm |
tuned signature -- moved type src to Token, without aliases;
|
file |
diff |
annotate
|
Tue, 18 Mar 2014 15:29:58 +0100 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
Tue, 18 Mar 2014 13:36:28 +0100 |
wenzelm |
clarified bootstrap process: switch to ML with context and antiquotations earlier;
|
file |
diff |
annotate
|
Tue, 18 Mar 2014 11:27:09 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 10 Mar 2014 18:06:23 +0100 |
wenzelm |
clarified Args.check_src: retain name space information for error output;
|
file |
diff |
annotate
|
Mon, 10 Mar 2014 17:09:40 +0100 |
wenzelm |
modernized data managed via Name_Space.table;
|
file |
diff |
annotate
|
Mon, 10 Mar 2014 16:30:07 +0100 |
wenzelm |
clarified Args.src: more abstract type, position refers to name only;
|
file |
diff |
annotate
|
Fri, 23 Aug 2013 20:35:50 +0200 |
wenzelm |
added Theory.setup convenience;
|
file |
diff |
annotate
|
Tue, 13 Aug 2013 20:34:46 +0200 |
wenzelm |
discontinued special treatment of \<^isub> and \<^isup> in rendering or editor front-end;
|
file |
diff |
annotate
|
Sun, 30 Dec 2012 16:40:28 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 30 Dec 2012 16:33:05 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
Tue, 18 Dec 2012 21:59:44 +0100 |
haftmann |
discontinued legacy antiquotations and styles
|
file |
diff |
annotate
|
Wed, 08 Jun 2011 15:39:55 +0200 |
wenzelm |
pervasive Output operations;
|
file |
diff |
annotate
|
Sat, 16 Apr 2011 15:47:52 +0200 |
wenzelm |
modernized structure Proof_Context;
|
file |
diff |
annotate
|
Sun, 20 Mar 2011 22:47:08 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 02 Feb 2011 08:47:45 +0100 |
krauss |
made SML/NJ happy
|
file |
diff |
annotate
|
Tue, 01 Feb 2011 21:09:52 +0100 |
krauss |
term style 'isub': ad-hoc subscripting of variables that end with digits (x1, x23, ...)
|
file |
diff |
annotate
|
Sat, 15 May 2010 23:16:32 +0200 |
wenzelm |
refer directly to structure Keyword and Parse;
|
file |
diff |
annotate
|
Sun, 07 Mar 2010 12:19:47 +0100 |
wenzelm |
modernized structure Object_Logic;
|
file |
diff |
annotate
|
Sun, 08 Nov 2009 18:43:42 +0100 |
wenzelm |
adapted Theory_Data;
|
file |
diff |
annotate
|
Mon, 26 Oct 2009 09:41:26 +0100 |
haftmann |
legacy warnings for old-style term styles
|
file |
diff |
annotate
|
Thu, 08 Oct 2009 15:16:13 +0200 |
haftmann |
new generalized concept for term styles
|
file |
diff |
annotate
|
Wed, 07 Oct 2009 16:57:56 +0200 |
haftmann |
generalized term styles: transformations may depend on arguments; modernized term_style module; antiquotations thm, prop and term accepting term styles
|
file |
diff |
annotate
|
Wed, 21 Jan 2009 23:21:44 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
Fri, 28 Mar 2008 20:02:04 +0100 |
wenzelm |
Context.>> : operate on Context.generic;
|
file |
diff |
annotate
|
Thu, 27 Mar 2008 15:32:15 +0100 |
wenzelm |
eliminated delayed theory setup
|
file |
diff |
annotate
|
Tue, 09 Oct 2007 00:20:13 +0200 |
wenzelm |
generic Syntax.pretty/string_of operations;
|
file |
diff |
annotate
|
Sun, 08 Jul 2007 19:51:58 +0200 |
wenzelm |
replaced exception TableFun/GraphFun.DUPS by TableFun/GraphFun.DUP;
|
file |
diff |
annotate
|
Thu, 05 Jul 2007 00:06:14 +0200 |
wenzelm |
avoid polymorphic equality;
|
file |
diff |
annotate
|
Mon, 07 May 2007 00:49:59 +0200 |
wenzelm |
simplified DataFun interfaces;
|
file |
diff |
annotate
|
Fri, 19 Jan 2007 22:08:15 +0100 |
wenzelm |
renamed Isar/term_style.ML to Thy/term_style.ML;
|
file |
diff |
annotate
|