isabelle: Changelog

wenzelm [Wed, 28 Apr 2010 12:18:49 +0200] rev 36453

removed material that is out of scope of this manual;

wenzelm [Wed, 28 Apr 2010 12:07:52 +0200] rev 36452

renamed command 'defaultsort' to 'default_sort';

wenzelm [Wed, 28 Apr 2010 11:41:27 +0200] rev 36451

localized default sort;

wenzelm [Wed, 28 Apr 2010 11:13:11 +0200] rev 36450

more systematic naming of tsig operations;

wenzelm [Wed, 28 Apr 2010 11:09:19 +0200] rev 36449

modernized/simplified Sign.set_defsort;

wenzelm [Wed, 28 Apr 2010 10:51:34 +0200] rev 36448

get_sort: minimize sorts given in the text, while keeping those from the context unchanged (the latter are preferred); tuned;

wenzelm [Wed, 28 Apr 2010 10:43:08 +0200] rev 36447

export Type.minimize_sort;

haftmann [Wed, 28 Apr 2010 08:25:02 +0200] rev 36446

term_typ: print styled term

wenzelm [Tue, 27 Apr 2010 22:23:12 +0200] rev 36445

merged

huffman [Tue, 27 Apr 2010 11:17:50 -0700] rev 36444

merged

isabelle