isabelle: Changelog

wenzelm [Tue, 16 Jun 2009 22:49:39 +0200] rev 31653

less ambitious ML_OPTIONS;

wenzelm [Tue, 16 Jun 2009 22:48:17 +0200] rev 31652

another attempt to get a reduced at-sml-dev-e test;

wenzelm [Tue, 16 Jun 2009 22:39:50 +0200] rev 31651

added names, abbrevs;

wenzelm [Tue, 16 Jun 2009 21:45:35 +0200] rev 31650

added completions; misc simplification via aux. operations;

wenzelm [Tue, 16 Jun 2009 18:47:45 +0200] rev 31649

reorganized and abstracted version, via Set trait;

wenzelm [Tue, 16 Jun 2009 15:25:32 +0200] rev 31648

Efficient scanning of literals.

wenzelm [Mon, 15 Jun 2009 21:33:27 +0200] rev 31647

merged

wenzelm [Mon, 15 Jun 2009 21:17:34 +0200] rev 31646

override toplevel "use" functions last;

wenzelm [Mon, 15 Jun 2009 17:36:49 +0200] rev 31645

made SML/NJ happy;

haftmann [Mon, 15 Jun 2009 21:28:04 +0200] rev 31644

Quickcheck.random

isabelle