isabelle: Changelog

wenzelm [Thu, 21 Oct 1999 17:42:42 +0200] rev 7896

removed \BG, \EN;

wenzelm [Thu, 21 Oct 1999 17:42:21 +0200] rev 7895

updated;

wenzelm [Thu, 21 Oct 1999 15:57:26 +0200] rev 7894

added \ISS;

wenzelm [Wed, 20 Oct 1999 15:53:22 +0200] rev 7893

eliminated isar_action;

wenzelm [Wed, 20 Oct 1999 15:50:51 +0200] rev 7892

remove_thy: warn unknown theory (rather than error);

wenzelm [Wed, 20 Oct 1999 15:23:55 +0200] rev 7891

use_mltext: better control of verbosity;

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;

isabelle