isabelle: Changelog

paulson [Fri, 01 Oct 2004 11:53:50 +0200] rev 15222

display-drafts now uses pdf!

paulson [Fri, 01 Oct 2004 11:53:31 +0200] rev 15221

tweaking of arithmetic proofs

aspinall [Fri, 01 Oct 2004 11:51:55 +0200] rev 15220

Comments

paulson [Thu, 30 Sep 2004 15:43:50 +0200] rev 15219

tidied

kleing [Thu, 30 Sep 2004 07:14:34 +0200] rev 15218

display pdf as well as dvi

schirmer [Thu, 30 Sep 2004 05:08:17 +0200] rev 15217

bug-fix with new records

aspinall [Wed, 29 Sep 2004 22:40:40 +0200] rev 15216

Remove white space skipping in element content; XML specification clearly requires whitespace to be passed to application.

schirmer [Wed, 29 Sep 2004 18:32:25 +0200] rev 15215

tuned performance of record definition

paulson [Wed, 29 Sep 2004 13:58:40 +0200] rev 15214

tidying up; identifying the main theorems

ballarin [Tue, 28 Sep 2004 13:56:46 +0200] rev 15213

Changes in "includes".

isabelle