isabelle: Changelog

wenzelm [Tue, 06 Jun 2000 20:31:22 +0200] rev 9038

session.tex: nsert blank lines in order to guarantee new paragraphs for each file (otherwise TeX would easily choke on large input);

wenzelm [Sun, 04 Jun 2000 21:55:58 +0200] rev 9037

opt_mixfix', opt_infix';

wenzelm [Sun, 04 Jun 2000 21:54:58 +0200] rev 9036

do not setmp Library.timing;

wenzelm [Sun, 04 Jun 2000 19:39:29 +0200] rev 9035

removed explicit terminator (";");

wenzelm [Sun, 04 Jun 2000 00:09:04 +0200] rev 9034

removed method;

wenzelm [Sun, 04 Jun 2000 00:00:17 +0200] rev 9033

improved terminator msg;

wenzelm [Sat, 03 Jun 2000 23:59:37 +0200] rev 9032

block commands: marginal comment;

wenzelm [Sat, 03 Jun 2000 23:58:37 +0200] rev 9031

fixed Thm.eq_thm: use Sign.joinable;

wenzelm [Sat, 03 Jun 2000 23:57:40 +0200] rev 9030

'next', '{', '}': comment;

wenzelm [Sat, 03 Jun 2000 23:57:04 +0200] rev 9029

removed brace aliases;

isabelle