testboard: Changelog

wenzelm [Wed, 20 Oct 1999 15:22:56 +0200] rev 7890

use_text: remove last char from output;

wenzelm [Wed, 20 Oct 1999 12:52:56 +0200] rev 7889

option -m TARGET;

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;

testboard