isabelle: Changelog

wenzelm [Mon, 15 Jun 1998 11:06:00 +0200] rev 5038

use_text replaces use_strings;

wenzelm [Mon, 15 Jun 1998 11:05:25 +0200] rev 5037

handle_error: capture error msgs, even if no exception raised;

wenzelm [Sat, 13 Jun 1998 18:25:39 +0200] rev 5036

removed use_text;

wenzelm [Fri, 12 Jun 1998 18:08:41 +0200] rev 5035

added use_text;

wenzelm [Fri, 12 Jun 1998 17:07:33 +0200] rev 5034

Context.add_session;

wenzelm [Fri, 12 Jun 1998 17:06:58 +0200] rev 5033

changed (| |) syntax to (: :);

wenzelm [Fri, 12 Jun 1998 17:06:14 +0200] rev 5032

changed {: :} syntax to (| |);

wenzelm [Fri, 12 Jun 1998 17:05:04 +0200] rev 5031

tuned exports; added Thy;

nipkow [Thu, 11 Jun 1998 18:18:37 +0200] rev 5030

removed rel.ML

nipkow [Thu, 11 Jun 1998 18:17:40 +0200] rev 5029

ancient relic

isabelle