isabelle: Changelog

blanchet [Tue, 01 Oct 2013 14:40:25 +0200] rev 54011

new version of MaSh that really honors the --port option and that checks for file name mismatches

blanchet [Tue, 01 Oct 2013 14:29:27 +0200] rev 54010

minor textual changes

blanchet [Tue, 01 Oct 2013 14:13:24 +0200] rev 54009

got rid of dead feature

blanchet [Tue, 01 Oct 2013 14:05:25 +0200] rev 54008

refactoring -- splitting between constructor sugar dependencies and true BNF dependencies

blanchet [Tue, 01 Oct 2013 14:05:25 +0200] rev 54007

renamed ML files

blanchet [Tue, 01 Oct 2013 14:05:25 +0200] rev 54006

renamed theory file

wenzelm [Tue, 01 Oct 2013 12:53:24 +0200] rev 54005

tuned signature -- facilitate experimentation with other processes;

Christian Sternagel [Mon, 30 Sep 2013 22:01:46 +0900] rev 54004

preserve types during rewriting

blanchet [Mon, 30 Sep 2013 22:36:43 +0200] rev 54003

made SML/NJ happy

blanchet [Mon, 30 Sep 2013 18:08:35 +0200] rev 54002

made SML/NJ happy

isabelle