isabelle: Changelog

hoelzl [Thu, 31 Jan 2013 11:31:27 +0100] rev 50999

introduce order topology

hoelzl [Thu, 31 Jan 2013 11:31:22 +0100] rev 50998

simplify heine_borel type class

blanchet [Thu, 31 Jan 2013 11:20:12 +0100] rev 50997

compute proper weight for "p proves p" in MaSh

kuncar [Tue, 15 Jan 2013 12:13:27 +0100] rev 50996

restore code equations for List.set in RBT_Set; make Scala happy according to 7.1 in the code generator manual

nipkow [Fri, 25 Jan 2013 16:45:09 +0100] rev 50995

tuned

wenzelm [Sun, 20 Jan 2013 15:34:27 +0100] rev 50994

back to post-release mode -- after fork point;

wenzelm [Sun, 20 Jan 2013 15:26:56 +0100] rev 50993

updated for release;

wenzelm [Sun, 20 Jan 2013 14:05:37 +0100] rev 50992

merged

wenzelm [Sun, 20 Jan 2013 14:00:05 +0100] rev 50991

misc tuning for release;

wenzelm [Sun, 20 Jan 2013 13:59:13 +0100] rev 50990

tuned;

isabelle