isabelle: Changelog

blanchet [Thu, 01 Dec 2011 13:34:12 +0100] rev 45704

minor example tweak

wenzelm [Thu, 01 Dec 2011 12:25:27 +0100] rev 45703

renamed inner syntax categories "num" to "num_token" and "xnum" to "xnum_token";

wenzelm [Thu, 01 Dec 2011 11:54:39 +0100] rev 45702

updated markup conforming to ML side;

wenzelm [Wed, 30 Nov 2011 23:30:08 +0100] rev 45701

discontinued obsolete datatype "alt_names";

wenzelm [Wed, 30 Nov 2011 21:14:01 +0100] rev 45700

misc tuning;

wenzelm [Wed, 30 Nov 2011 19:18:17 +0100] rev 45699

merged

kuncar [Wed, 30 Nov 2011 18:50:46 +0100] rev 45698

removed outdated comment moved back and updated (at the direct request of Christian Urban)

bulwahn [Wed, 30 Nov 2011 15:07:10 +0100] rev 45697

more stable introduction of the internally used unknown term

wenzelm [Wed, 30 Nov 2011 18:07:14 +0100] rev 45696

prefer typedef without alternative name;

wenzelm [Wed, 30 Nov 2011 17:30:01 +0100] rev 45695

prefer cpodef without extra definition;

isabelle