isabelle: Changelog

wenzelm [Fri, 08 Oct 1999 16:40:27 +0200] rev 7808

update from Gertrud;

wenzelm [Fri, 08 Oct 1999 16:18:51 +0200] rev 7807

tuned;

wenzelm [Fri, 08 Oct 1999 16:17:59 +0200] rev 7806

url;

wenzelm [Fri, 08 Oct 1999 16:16:51 +0200] rev 7805

theorem database now also indexes constants "Trueprop", "all", "==>", "=="; thus thms_containing, findI etc. may retrieve more rules;

wenzelm [Fri, 08 Oct 1999 16:05:06 +0200] rev 7804

improved;

wenzelm [Fri, 08 Oct 1999 16:04:42 +0200] rev 7803

removed generated index.html;

wenzelm [Fri, 08 Oct 1999 15:50:10 +0200] rev 7802

isatool_document;

wenzelm [Fri, 08 Oct 1999 15:39:52 +0200] rev 7801

make: tuned usage;

wenzelm [Fri, 08 Oct 1999 15:09:14 +0200] rev 7800

improved presentation;

wenzelm [Fri, 08 Oct 1999 15:08:47 +0200] rev 7799

include document;

isabelle