isabelle: Changelog

wenzelm [Tue, 02 Jun 2009 13:15:16 +0200] rev 31335

early setup of secure operations (again, cf. deddd77112b7) -- NB: fix_ints is required for bootstrap; late setup of ML_Env and ML_Compiler;

wenzelm [Mon, 01 Jun 2009 23:28:07 +0200] rev 31334

structure ML_Compiler;

wenzelm [Mon, 01 Jun 2009 23:28:06 +0200] rev 31333

added structure ML_Compiler: runtime compilation, with advanced version for Poly/ML 5.3 (formerly ML_Test);

wenzelm [Mon, 01 Jun 2009 23:28:05 +0200] rev 31332

added flatten;

wenzelm [Mon, 01 Jun 2009 23:28:04 +0200] rev 31331

tuned signature;

wenzelm [Mon, 01 Jun 2009 23:28:04 +0200] rev 31330

export secure_mltext;

wenzelm [Mon, 01 Jun 2009 23:28:02 +0200] rev 31329

tuned comments;

wenzelm [Mon, 01 Jun 2009 16:12:42 +0200] rev 31328

maintain tokens within common ML environment;

wenzelm [Mon, 01 Jun 2009 15:26:00 +0200] rev 31327

ML_Env;

wenzelm [Mon, 01 Jun 2009 15:26:00 +0200] rev 31326

slightly later setup of ML and secure operations;

isabelle