isabelle: Changelog

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;

wenzelm [Thu, 14 Oct 1999 15:03:34 +0200] rev 7865

support thumbpdf (via 'png' output format);

wenzelm [Thu, 14 Oct 1999 15:02:04 +0200] rev 7864

thumbpdf (disabled by default);

wenzelm [Thu, 14 Oct 1999 15:01:18 +0200] rev 7863

document preparation based on (PDF)LaTeX;

wenzelm [Thu, 14 Oct 1999 12:47:54 +0200] rev 7862

renamed verbatim/verb to text_raw/txt_raw;

isabelle