wenzelm [Mon, 18 Nov 2013 22:06:08 +0100] rev 55885
persistent value;
wenzelm [Mon, 18 Nov 2013 19:56:34 +0100] rev 55884
caching of blob;
precise file content according to jEdit IO;
wenzelm [Mon, 18 Nov 2013 17:24:04 +0100] rev 55883
tuned;
wenzelm [Mon, 18 Nov 2013 17:16:56 +0100] rev 55882
maintain document model for all files, with document view for theory only, and special blob for non-theory files;
nipkow [Wed, 20 Nov 2013 08:56:54 +0100] rev 55881
tuned
blanchet [Tue, 19 Nov 2013 22:20:01 +0100] rev 55880
whitespace tuning
blanchet [Tue, 19 Nov 2013 19:42:30 +0100] rev 55879
tuning
blanchet [Tue, 19 Nov 2013 19:36:24 +0100] rev 55878
more refactoring to accommodate SMT proofs
blanchet [Tue, 19 Nov 2013 18:38:25 +0100] rev 55877
tuning
blanchet [Tue, 19 Nov 2013 18:34:04 +0100] rev 55876
tuning