1999-10-21 wenzelm [Thu, 21 Oct 1999 18:41:51 +0200] rev 7898
forall_elim_var(s) moved to pure_thy.ML;
src/Pure/drule.ML

1999-10-21 wenzelm [Thu, 21 Oct 1999 18:04:07 +0200] rev 7897
*** empty log message ***
doc-src/IsarRef/generic.tex doc-src/IsarRef/refcard.tex

1999-10-21 wenzelm [Thu, 21 Oct 1999 17:42:42 +0200] rev 7896
removed \BG, \EN;
doc-src/isar.sty

1999-10-21 wenzelm [Thu, 21 Oct 1999 17:42:21 +0200] rev 7895
updated;
doc-src/IsarRef/Makefile doc-src/IsarRef/basics.tex doc-src/IsarRef/intro.tex doc-src/IsarRef/isar-ref.tex doc-src/IsarRef/pure.tex doc-src/IsarRef/syntax.tex

1999-10-21 wenzelm [Thu, 21 Oct 1999 15:57:26 +0200] rev 7894
added \ISS;
doc-src/isar.sty

1999-10-20 wenzelm [Wed, 20 Oct 1999 15:53:22 +0200] rev 7893
eliminated isar_action;
src/Pure/Interface/proof_general.ML

1999-10-20 wenzelm [Wed, 20 Oct 1999 15:50:51 +0200] rev 7892
remove_thy: warn unknown theory (rather than error);
src/Pure/Thy/thy_info.ML

1999-10-20 wenzelm [Wed, 20 Oct 1999 15:23:55 +0200] rev 7891
use_mltext: better control of verbosity;
src/Pure/Isar/isar_cmd.ML src/Pure/Isar/isar_syn.ML

1999-10-20 wenzelm [Wed, 20 Oct 1999 15:22:56 +0200] rev 7890
use_text: remove last char from output;
src/Pure/ML-Systems/polyml.ML src/Pure/ML-Systems/smlnj.ML

1999-10-20 wenzelm [Wed, 20 Oct 1999 12:52:56 +0200] rev 7889
option -m TARGET;
build