isabelle: Changelog

nipkow [Sun, 10 Apr 2005 17:19:03 +0200] rev 15691

_(_|_) is now override_on

nipkow [Sun, 10 Apr 2005 11:42:07 +0200] rev 15690

tuned

nipkow [Sun, 10 Apr 2005 11:41:29 +0200] rev 15689

section on qmark

paulson [Sat, 09 Apr 2005 16:27:11 +0200] rev 15688

fixed the syntax of infix declarations

wenzelm [Sat, 09 Apr 2005 15:36:02 +0200] rev 15687

thmref: selection syntax;

wenzelm [Sat, 09 Apr 2005 15:35:37 +0200] rev 15686

update syntax of 'where' and 'of';

wenzelm [Sat, 09 Apr 2005 15:34:38 +0200] rev 15685

added PDF_VIEWER, ISABELLE_DOC_FORMAT;

paulson [Fri, 08 Apr 2005 18:43:39 +0200] rev 15684

Reconstruction code, now packaged to avoid name clashes

paulson [Fri, 08 Apr 2005 10:50:02 +0200] rev 15683

temporarily removed ATP code

paulson [Thu, 07 Apr 2005 18:44:45 +0200] rev 15682

removed bad code

isabelle