isabelle: Changelog

wenzelm [Thu, 06 Dec 2007 00:21:30 +0100] rev 25551

replaced Markup.enclose by Markup.markup, which operates on plain strings instead of raw output;

wenzelm [Thu, 06 Dec 2007 00:21:28 +0100] rev 25550

check persistent sessions;

wenzelm [Wed, 05 Dec 2007 20:56:42 +0100] rev 25549

tuned signature;

wenzelm [Wed, 05 Dec 2007 20:30:35 +0100] rev 25548

made SML/NJ happy;

wenzelm [Wed, 05 Dec 2007 20:16:36 +0100] rev 25547

removed -e flag from most sessions;

obua [Wed, 05 Dec 2007 16:54:50 +0100] rev 25546

instance int,real :: lordered_ring

krauss [Wed, 05 Dec 2007 14:36:58 +0100] rev 25545

methods "relation" and "lexicographic_order" do not insist on applying the "f.termination" rule of a function.

haftmann [Wed, 05 Dec 2007 14:32:17 +0100] rev 25544

tuned class parts

haftmann [Wed, 05 Dec 2007 14:16:15 +0100] rev 25543

dropped Classpackage.thy

haftmann [Wed, 05 Dec 2007 14:16:14 +0100] rev 25542

tuned

isabelle