isabelle: Changelog

wenzelm [Thu, 15 Apr 2004 20:32:33 +0200] rev 14572

tuned;

wenzelm [Thu, 15 Apr 2004 20:31:30 +0200] rev 14571

fixed width; tuned;

wenzelm [Thu, 15 Apr 2004 20:30:50 +0200] rev 14570

finalconsts RepC AbsC;

nipkow [Thu, 15 Apr 2004 14:17:45 +0200] rev 14569

Added ex/Exceptions.thy

nipkow [Thu, 15 Apr 2004 13:04:50 +0200] rev 14568

"haspref" -> "oldhaspref" (David Aspinall)

schirmer [Thu, 15 Apr 2004 09:33:12 +0200] rev 14567

bugfix in xsymbols_output

nipkow [Wed, 14 Apr 2004 15:09:51 +0200] rev 14566

corrected PG url in comment

kleing [Wed, 14 Apr 2004 14:13:05 +0200] rev 14565

use more symbols in HTML output

wenzelm [Wed, 14 Apr 2004 13:28:46 +0200] rev 14564

renamed have_thms to note_thms;

wenzelm [Wed, 14 Apr 2004 13:26:27 +0200] rev 14563

tuned;

isabelle