isabelle: Changelog

webertj [Wed, 28 Sep 2005 18:50:42 +0200] rev 17700

pointer to HOL/ex/SAT_Examples.thy added

wenzelm [Wed, 28 Sep 2005 16:58:06 +0200] rev 17699

updated;

wenzelm [Wed, 28 Sep 2005 15:13:02 +0200] rev 17698

more reliable check for PDF output using ifpdf.sty;

webertj [Wed, 28 Sep 2005 14:41:43 +0200] rev 17697

pre_sat_tac moved towards end of file

haftmann [Wed, 28 Sep 2005 14:16:34 +0200] rev 17696

adjusted www links

webertj [Wed, 28 Sep 2005 14:16:12 +0200] rev 17695

comment fixed

obua [Wed, 28 Sep 2005 13:17:23 +0200] rev 17694

mapped "-->" to "hol4-->"

wenzelm [Wed, 28 Sep 2005 11:50:15 +0200] rev 17693

avoid naming existing tags in explanations;

wenzelm [Wed, 28 Sep 2005 11:50:14 +0200] rev 17692

revert 'defs' advertisement;

wenzelm [Wed, 28 Sep 2005 11:50:13 +0200] rev 17691

revert 'defs' advertisement; removed PG/xemacs note, which is actually wrong now; tuned;

isabelle