isabelle: Changelog

haftmann [Mon, 23 Mar 2009 19:01:15 +0100] rev 30684

suddenly infix identifier oo occurs in generated code

wenzelm [Tue, 24 Mar 2009 11:57:41 +0100] rev 30683

datatype antiquote: maintain original Position.range, which is eventually attached to the resulting ML tokens;

wenzelm [Tue, 24 Mar 2009 11:39:25 +0100] rev 30682

eliminated non-canonical alias structure T = ML_Lex;

wenzelm [Tue, 24 Mar 2009 00:36:32 +0100] rev 30681

error "Static Errors";

wenzelm [Tue, 24 Mar 2009 00:30:52 +0100] rev 30680

more systematic type use_context; result_fun: actually apply result, only one version of eval; removed obsolete 'ML_parse';

wenzelm [Mon, 23 Mar 2009 22:57:27 +0100] rev 30679

tuned;

wenzelm [Mon, 23 Mar 2009 22:56:03 +0100] rev 30678

more systematic type use_context;

isabelle