isabelle: Changelog

berghofe [Thu, 07 Oct 1999 11:36:39 +0200] rev 7765

New function thm_deps for visualizing dependencies of theorems.

berghofe [Thu, 07 Oct 1999 11:35:20 +0200] rev 7764

Added file thm_deps.

berghofe [Thu, 07 Oct 1999 11:34:46 +0200] rev 7763

Exported function get_info.

wenzelm [Wed, 06 Oct 1999 21:32:52 +0200] rev 7762

ISABELLE_USEDIR_OPTIONS: -d pdf option (off by default);

wenzelm [Wed, 06 Oct 1999 18:50:51 +0200] rev 7761

improved presentation;

wenzelm [Wed, 06 Oct 1999 18:50:40 +0200] rev 7760

Isar_examples/W_correct;

wenzelm [Wed, 06 Oct 1999 18:15:22 +0200] rev 7759

tuned presentation;

wenzelm [Wed, 06 Oct 1999 18:14:26 +0200] rev 7758

tuned markup commands;

wenzelm [Wed, 06 Oct 1999 18:12:48 +0200] rev 7757

Latex.token;

wenzelm [Wed, 06 Oct 1999 18:12:35 +0200] rev 7756

improved presentation;

isabelle