isabelle: Changelog

wenzelm [Sat, 16 Oct 1999 18:56:09 +0200] rev 7875

PROOFGENERAL_OPTIONS="-u false";

wenzelm [Fri, 15 Oct 1999 16:44:37 +0200] rev 7874

improved presentation;

wenzelm [Fri, 15 Oct 1999 16:43:05 +0200] rev 7873

fixed comment;

berghofe [Fri, 15 Oct 1999 15:31:35 +0200] rev 7872

Removed obsolete comment.

berghofe [Fri, 15 Oct 1999 12:31:43 +0200] rev 7871

Documented thm_deps.

berghofe [Thu, 14 Oct 1999 17:40:22 +0200] rev 7870

Corrected typo.

wenzelm [Thu, 14 Oct 1999 16:02:39 +0200] rev 7869

improved presentation;

wenzelm [Thu, 14 Oct 1999 15:14:14 +0200] rev 7868

support thumbpdf;

wenzelm [Thu, 14 Oct 1999 15:05:35 +0200] rev 7867

fixed comment;

wenzelm [Thu, 14 Oct 1999 15:04:36 +0200] rev 7866

pdf: generate thumbnails if ISABELLE_THUMBPDF set;

isabelle