Wed, 11 Aug 2010 15:00:31 +0200 wenzelm tuned whitespace;
Wed, 11 Aug 2010 13:39:36 +0200 wenzelm more precise and more maintainable dependencies;
Wed, 11 Aug 2010 12:50:33 +0200 wenzelm merged, resolving conflict in src/Pure/IsaMakefile concerning General/xml_data.ML;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip