Fri, 12 Aug 2011 16:47:53 -0700 merged
huffman [Fri, 12 Aug 2011 16:47:53 -0700] rev 44175
merged
Fri, 12 Aug 2011 14:45:50 -0700 make more HOL theories work with separate set type
huffman [Fri, 12 Aug 2011 14:45:50 -0700] rev 44174
make more HOL theories work with separate set type
Sat, 13 Aug 2011 00:34:54 +0200 immediate fork of initial workers -- avoid 5 ticks (250ms) for adaptive scheme (a07558eb5029);
wenzelm [Sat, 13 Aug 2011 00:34:54 +0200] rev 44173
immediate fork of initial workers -- avoid 5 ticks (250ms) for adaptive scheme (a07558eb5029); more careful treatment of last_round on startup/shutdown;
Fri, 12 Aug 2011 23:29:28 +0200 merged
wenzelm [Fri, 12 Aug 2011 23:29:28 +0200] rev 44172
merged
Fri, 12 Aug 2011 09:17:30 -0700 merged
huffman [Fri, 12 Aug 2011 09:17:30 -0700] rev 44171
merged
Fri, 12 Aug 2011 09:17:24 -0700 make Multivariate_Analysis work with separate set type
huffman [Fri, 12 Aug 2011 09:17:24 -0700] rev 44170
make Multivariate_Analysis work with separate set type
Fri, 12 Aug 2011 07:18:28 -0700 make HOLCF work with separate set type
huffman [Fri, 12 Aug 2011 07:18:28 -0700] rev 44169
make HOLCF work with separate set type
Fri, 12 Aug 2011 07:13:12 -0700 merged
huffman [Fri, 12 Aug 2011 07:13:12 -0700] rev 44168
merged
Thu, 11 Aug 2011 14:24:05 -0700 avoid duplicate rule warnings
huffman [Thu, 11 Aug 2011 14:24:05 -0700] rev 44167
avoid duplicate rule warnings
Thu, 11 Aug 2011 13:05:56 -0700 modify euclidean_space class to include basis set
huffman [Thu, 11 Aug 2011 13:05:56 -0700] rev 44166
modify euclidean_space class to include basis set
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip