isabelle: Changelog

paulson [Wed, 13 Apr 2005 09:48:41 +0200] rev 15702

new signalling primmitives for sml/nj compatibility

nipkow [Tue, 12 Apr 2005 13:38:08 +0200] rev 15701

*** empty log message ***

paulson [Tue, 12 Apr 2005 11:08:25 +0200] rev 15700

tweaks mainly to achieve sml/nj compatibility

paulson [Tue, 12 Apr 2005 11:07:42 +0200] rev 15699

fixing an incompatibility with Posix.IO.mkTextReader

paulson [Mon, 11 Apr 2005 16:25:53 +0200] rev 15698

auto update

paulson [Mon, 11 Apr 2005 16:25:31 +0200] rev 15697

removal of Main and other tidying up

ballarin [Mon, 11 Apr 2005 12:34:34 +0200] rev 15696

First release of interpretation commands.

nipkow [Mon, 11 Apr 2005 12:18:27 +0200] rev 15695

tuned

nipkow [Mon, 11 Apr 2005 12:14:48 +0200] rev 15694

added \restriction

nipkow [Mon, 11 Apr 2005 12:14:23 +0200] rev 15693

tuned Map, renamed lex stuff in List.

isabelle