isabelle: Changelog

wenzelm [Fri, 17 Mar 2000 16:31:06 +0100] rev 8500

generic "kill" command;

wenzelm [Fri, 17 Mar 2000 16:30:45 +0100] rev 8499

old_symbol_source: include header;

wenzelm [Fri, 17 Mar 2000 16:30:03 +0100] rev 8498

kill: include kill_proof;

wenzelm [Fri, 17 Mar 2000 16:29:35 +0100] rev 8497

fixed untag;

wenzelm [Fri, 17 Mar 2000 16:28:59 +0100] rev 8496

untag: remove all tags of given name;

wenzelm [Fri, 17 Mar 2000 16:27:28 +0100] rev 8495

no begin_goal marker (interferes with "latex" etc. output; useless anyway?)

wenzelm [Fri, 17 Mar 2000 16:26:43 +0100] rev 8494

next_block: allow in non-goal blocks as well (experimental);

paulson [Fri, 17 Mar 2000 15:51:13 +0100] rev 8493

re-ordered the theorems

paulson [Fri, 17 Mar 2000 15:49:50 +0100] rev 8492

better error messages, especially for multiple types

wenzelm [Thu, 16 Mar 2000 00:36:22 +0100] rev 8491

Splitter support;

isabelle