isabelle: Changelog

wenzelm [Thu, 28 Sep 2000 14:40:38 +0200] rev 10104

option -C;

wenzelm [Thu, 28 Sep 2000 14:36:20 +0200] rev 10103

Isabelle99-1 (October 2000);

wenzelm [Thu, 28 Sep 2000 14:36:02 +0200] rev 10102

support copy option;

wenzelm [Thu, 28 Sep 2000 14:35:42 +0200] rev 10101

./build -b -m Pure-copied Pure;

wenzelm [Thu, 28 Sep 2000 14:35:23 +0200] rev 10100

only run quick_and_dirty version by default;

wenzelm [Thu, 28 Sep 2000 14:34:49 +0200] rev 10099

tuned;

paulson [Thu, 28 Sep 2000 13:12:23 +0200] rev 10098

deleted card_0_empty_iff because it is the same as card_0_eq; renamed some variables

wenzelm [Wed, 27 Sep 2000 19:51:11 +0200] rev 10097

THIS_IS_ISABELLE_BUILD;

wenzelm [Wed, 27 Sep 2000 19:39:50 +0200] rev 10096

tuned;

wenzelm [Wed, 27 Sep 2000 19:37:32 +0200] rev 10095

tuned comment;

isabelle