isabelle: Changelog

nipkow [Thu, 04 Jun 2009 19:44:06 +0200] rev 31441

finite lemmas

haftmann [Thu, 04 Jun 2009 15:00:44 +0200] rev 31440

made SML/NJ happy

nipkow [Thu, 04 Jun 2009 13:26:51 +0200] rev 31439

merged

nipkow [Thu, 04 Jun 2009 13:26:32 +0200] rev 31438

A few finite lemmas

wenzelm [Thu, 04 Jun 2009 22:02:33 +0200] rev 31437

removed unused location_of; eval: actually pass location properties (via "file" field);

wenzelm [Thu, 04 Jun 2009 22:01:54 +0200] rev 31436

retrieve ML source files;

wenzelm [Thu, 04 Jun 2009 19:15:57 +0200] rev 31435

export file_name;

wenzelm [Thu, 04 Jun 2009 19:15:55 +0200] rev 31434

more robust treatment of bootstrap source positions;

wenzelm [Thu, 04 Jun 2009 19:15:54 +0200] rev 31433

less experimental polyml-5.3;

wenzelm [Thu, 04 Jun 2009 18:00:47 +0200] rev 31432

just one ROOT.ML without any cd or ".." -- simplifies ML environment references to bootstrap sources;

isabelle