isabelle: Changelog

paulson [Tue, 07 Jan 1997 10:17:07 +0100] rev 2479

Updated account of implicit simpsets and clasets

wenzelm [Tue, 07 Jan 1997 09:06:01 +0100] rev 2478

added ISABELLE, ISATOOL;

wenzelm [Tue, 07 Jan 1997 09:05:26 +0100] rev 2477

testdir: use dir without committing into database;

wenzelm [Tue, 07 Jan 1997 09:04:53 +0100] rev 2476

added dvi viewer alternative;

wenzelm [Tue, 07 Jan 1997 09:03:53 +0100] rev 2475

fixed cmp -s option;

wenzelm [Tue, 07 Jan 1997 09:01:52 +0100] rev 2474

minor tuning;

wenzelm [Tue, 07 Jan 1997 09:01:18 +0100] rev 2473

minor tuning; added Auth/Recur;

wenzelm [Tue, 07 Jan 1997 09:00:26 +0100] rev 2472

minor tuning; added thy_data.ML cladata.ML;

wenzelm [Mon, 06 Jan 1997 17:02:09 +0100] rev 2471

added stamp util;

paulson [Fri, 03 Jan 1997 15:25:51 +0100] rev 2470

A definition of "print", unfortunately overridden by each "open PolyML"

isabelle