Wed, 11 Aug 2010 13:39:36 +0200 more precise and more maintainable dependencies;
wenzelm [Wed, 11 Aug 2010 13:39:36 +0200] rev 38327
more precise and more maintainable dependencies;
Wed, 11 Aug 2010 12:50:33 +0200 merged, resolving conflict in src/Pure/IsaMakefile concerning General/xml_data.ML;
wenzelm [Wed, 11 Aug 2010 12:50:33 +0200] rev 38326
merged, resolving conflict in src/Pure/IsaMakefile concerning General/xml_data.ML;
Wed, 11 Aug 2010 12:04:06 +0200 * -> prod
haftmann [Wed, 11 Aug 2010 12:04:06 +0200] rev 38325
* -> prod
Wed, 11 Aug 2010 12:03:57 +0200 added .ML extension
haftmann [Wed, 11 Aug 2010 12:03:57 +0200] rev 38324
added .ML extension
Wed, 11 Aug 2010 11:56:57 +0200 avoid old unnamed infix
haftmann [Wed, 11 Aug 2010 11:56:57 +0200] rev 38323
avoid old unnamed infix
Wed, 11 Aug 2010 11:52:40 +0200 avoid inclusion of Natural module in generated code
haftmann [Wed, 11 Aug 2010 11:52:40 +0200] rev 38322
avoid inclusion of Natural module in generated code
Wed, 11 Aug 2010 09:06:31 +0200 explicit ML extension
haftmann [Wed, 11 Aug 2010 09:06:31 +0200] rev 38321
explicit ML extension
Wed, 11 Aug 2010 08:50:20 +0200 merged
haftmann [Wed, 11 Aug 2010 08:50:20 +0200] rev 38320
merged
Tue, 10 Aug 2010 16:03:54 +0200 separate initialisation for overloading and instantiation target
haftmann [Tue, 10 Aug 2010 16:03:54 +0200] rev 38319
separate initialisation for overloading and instantiation target
Tue, 10 Aug 2010 15:38:33 +0200 different foundations for different targets; simplified syntax handling of abbreviations
haftmann [Tue, 10 Aug 2010 15:38:33 +0200] rev 38318
different foundations for different targets; simplified syntax handling of abbreviations
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip