isabelle: Changelog

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;

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

moved local ML environment to separate module ML_Env;

wenzelm [Mon, 01 Jun 2009 15:25:59 +0200] rev 31324

removed print function from global ML name space, to reduce risk of surprises;

wenzelm [Mon, 01 Jun 2009 13:32:54 +0200] rev 31323

made SML/NJ happy;

wenzelm [Sun, 31 May 2009 19:05:20 +0200] rev 31322

attempt to eliminate adhoc makestring at runtime (which is not well-defined);

isabelle