isabelle: Changelog

wenzelm [Thu, 15 Nov 2007 11:49:03 +0100] rev 25435

isatool version: clarify that this is the *long* form;

wenzelm [Thu, 15 Nov 2007 11:49:02 +0100] rev 25434

ISABELLE_IDENTIFIER is filled in automatically, not taken from the *long* form of isatool version!

wenzelm [Thu, 15 Nov 2007 11:49:00 +0100] rev 25433

cover ISABELLE_IDENTIFIER;

wenzelm [Wed, 14 Nov 2007 16:22:44 +0100] rev 25432

README for E binary distribution;

wenzelm [Wed, 14 Nov 2007 16:22:32 +0100] rev 25431

tuned;

paulson [Tue, 13 Nov 2007 18:29:28 +0100] rev 25430

patching in the latest changes from Hurd

wenzelm [Tue, 13 Nov 2007 17:04:16 +0100] rev 25429

tuned;

wenzelm [Tue, 13 Nov 2007 16:24:03 +0100] rev 25428

some more items;

nipkow [Tue, 13 Nov 2007 13:51:12 +0100] rev 25427

updated

berghofe [Tue, 13 Nov 2007 11:04:30 +0100] rev 25426

Added JAR paper by Wenzel and Wiedijk.

isabelle