Fri, 03 Aug 2007 22:33:07 +0200 |
wenzelm |
use separate trace flag instead of Output.debug;
|
file |
diff |
annotate
|
Sun, 29 Jul 2007 16:00:05 +0200 |
wenzelm |
removed obsolete Output.ML_errors/toplevel_errors;
|
file |
diff |
annotate
|
Mon, 23 Jul 2007 19:45:46 +0200 |
wenzelm |
marked some CRITICAL sections;
|
file |
diff |
annotate
|
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
|