isabelle: Changelog

blanchet [Mon, 06 Sep 2010 16:50:29 +0200] rev 39220

use Future.fork rather than Thread.fork, so that the thread is part of the global thread management

blanchet [Mon, 06 Sep 2010 13:48:10 +0200] rev 39219

fix editor

wenzelm [Wed, 08 Sep 2010 14:46:21 +0200] rev 39218

merged

paulson [Wed, 08 Sep 2010 13:30:41 +0100] rev 39217

merged

paulson [Wed, 08 Sep 2010 13:25:32 +0100] rev 39216

tidied using inductive_simps

haftmann [Wed, 08 Sep 2010 13:25:22 +0200] rev 39215

NEWS

haftmann [Wed, 08 Sep 2010 13:22:24 +0200] rev 39214

removed ancient constdefs command

nipkow [Wed, 08 Sep 2010 10:45:55 +0200] rev 39213

put expand_(fun/set)_eq back in as synonyms, for compatibility

huffman [Tue, 07 Sep 2010 15:56:33 -0700] rev 39212

set up Nil and Cons to work as fixrec patterns

haftmann [Tue, 07 Sep 2010 17:36:33 +0200] rev 39211

merged

isabelle