isabelle: Changelog

blanchet [Wed, 18 Jul 2012 08:44:03 +0200] rev 48286

dependency tuning

blanchet [Wed, 18 Jul 2012 08:44:03 +0200] rev 48285

renaming

blanchet [Wed, 18 Jul 2012 08:44:03 +0200] rev 48284

clean up dependencies

haftmann [Tue, 17 Jul 2012 23:11:27 +0200] rev 48283

explicitly import Dlist theory into library

haftmann [Tue, 17 Jul 2012 23:11:24 +0200] rev 48282

tuned whitespace

haftmann [Tue, 17 Jul 2012 23:07:51 +0200] rev 48281

dropped ancient example generates

wenzelm [Tue, 17 Jul 2012 22:34:29 +0200] rev 48280

basic support for session ROOT files, with examples for FOL and ZF;

wenzelm [Tue, 17 Jul 2012 21:49:32 +0200] rev 48279

more accurate imitation of formal text;

wenzelm [Tue, 17 Jul 2012 16:56:29 +0200] rev 48278

avoid Source.fromFile, which does not necessarily close its input;

wenzelm [Tue, 17 Jul 2012 16:54:23 +0200] rev 48277

tuned imports;

isabelle