isabelle: Changelog

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;

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;

isabelle