isabelle: Changelog

wenzelm [Wed, 20 Oct 1999 11:06:47 +0200] rev 7888

removed -B option;

wenzelm [Wed, 20 Oct 1999 11:05:38 +0200] rev 7887

tuned usage;

wenzelm [Wed, 20 Oct 1999 11:05:06 +0200] rev 7886

the settings environment is now statically scoped; tuned;

wenzelm [Wed, 20 Oct 1999 00:09:36 +0200] rev 7885

fixed update_thy_only;

wenzelm [Tue, 19 Oct 1999 16:23:46 +0200] rev 7884

qed_spec_mp is a mess;

wenzelm [Tue, 19 Oct 1999 13:45:51 +0200] rev 7883

tuned;

wenzelm [Mon, 18 Oct 1999 19:43:18 +0200] rev 7882

tuned;

wenzelm [Mon, 18 Oct 1999 18:38:21 +0200] rev 7881

update by Stephan Merz;

paulson [Mon, 18 Oct 1999 16:16:03 +0200] rev 7880

exchanged the first two args of "project" and "drop_prog"

paulson [Mon, 18 Oct 1999 15:20:21 +0200] rev 7879

fixed comments

isabelle