isabelle: Changelog

wenzelm [Fri, 10 Oct 1997 15:44:48 +0200] rev 3827

decode: qualified is always const;

wenzelm [Fri, 10 Oct 1997 14:51:58 +0200] rev 3826

tuned;

wenzelm [Thu, 09 Oct 1997 18:01:27 +0200] rev 3825

\n at end;

wenzelm [Thu, 09 Oct 1997 17:45:03 +0200] rev 3824

ensure that dots in formulas are followed by non-idents;

wenzelm [Thu, 09 Oct 1997 17:20:15 +0200] rev 3823

*** empty log message ***

wenzelm [Thu, 09 Oct 1997 15:06:49 +0200] rev 3822

no longer handles consts "" -- use syntax instead; pretty printer: changed order of mixfix annotation preference (again!);

wenzelm [Thu, 09 Oct 1997 15:04:21 +0200] rev 3821

removed open;

wenzelm [Thu, 09 Oct 1997 15:03:06 +0200] rev 3820

fixed infix syntax;

isabelle