isabelle: Changelog

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

aspinall [Mon, 27 Sep 2004 16:03:16 +0200] rev 15208

Add filenamextns to prover info. Update doc location. Add whitespace element in parseresult

aspinall [Mon, 27 Sep 2004 16:02:31 +0200] rev 15207

Add newline after CDATA for sake of HaXml

ballarin [Mon, 27 Sep 2004 10:27:34 +0200] rev 15206

Modified locales: improved implementation of "includes".

paulson [Thu, 23 Sep 2004 12:48:49 +0200] rev 15205

some x-symbols

isabelle