| Sat, 19 May 2007 18:19:06 +0200 |
chaieb |
added cpat antiquotation for reading certified patterns
|
file |
diff |
annotate
|
| Fri, 13 Apr 2007 21:38:29 +0200 |
wenzelm |
added eval_antiquotes_fn (tmp);
|
file |
diff |
annotate
|
| Fri, 13 Apr 2007 20:23:18 +0200 |
wenzelm |
eval_antiquotes: proper parentheses for projection;
|
file |
diff |
annotate
|
| Thu, 12 Apr 2007 23:06:27 +0200 |
wenzelm |
added proj_value_antiq;
|
file |
diff |
annotate
|
| Tue, 10 Apr 2007 11:55:23 +0200 |
wenzelm |
inline_antiq: no longer forces ML_Syntax.atomic;
|
file |
diff |
annotate
|
| Wed, 28 Feb 2007 22:05:41 +0100 |
wenzelm |
added @{const_name}, @{const_syntax};
|
file |
diff |
annotate
|
| Fri, 16 Feb 2007 22:13:16 +0100 |
wenzelm |
ML text: informative Output.debug only;
|
file |
diff |
annotate
|
| Sun, 21 Jan 2007 19:09:38 +0100 |
wenzelm |
improved fact references: thmref;
|
file |
diff |
annotate
|
| Sun, 21 Jan 2007 16:43:45 +0100 |
wenzelm |
use_text: added name argument;
|
file |
diff |
annotate
|
| Sat, 20 Jan 2007 14:09:21 +0100 |
wenzelm |
added the_context_finished;
|
file |
diff |
annotate
|
| Fri, 19 Jan 2007 22:08:13 +0100 |
wenzelm |
ML context and antiquotations (material from context.ML);
|
file |
diff |
annotate
|