isabelle: Changelog

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".

ballarin [Tue, 28 Sep 2004 13:54:49 +0200] rev 15212

Bug fixes.

aspinall [Tue, 28 Sep 2004 10:44:51 +0200] rev 15211

Add text_charref to encode a string using character references

aspinall [Tue, 28 Sep 2004 10:44:19 +0200] rev 15210

Remove double escaping of backslash in PGML. Remove use of character refs in <whitespace>

aspinall [Tue, 28 Sep 2004 10:43:34 +0200] rev 15209

Fix to unparse to not double-escape backslash

isabelle