krauss [Tue, 30 Mar 2010 15:25:30 +0200] rev 36042
switched PThm/PAxm etc. to use canonical order of type variables (term variables unchanged)
wenzelm [Tue, 30 Mar 2010 12:47:39 +0200] rev 36041
merged
wenzelm [Tue, 30 Mar 2010 00:47:52 +0200] rev 36040
recovered StringBuilder functionality after subtle change of + and ++ in Scala 2.8.0 Beta 1;
wenzelm [Tue, 30 Mar 2010 00:13:27 +0200] rev 36039
adapted to Scala 2.8.0 Beta 1;
wenzelm [Tue, 30 Mar 2010 00:12:42 +0200] rev 36038
auto update by Netbeans 6.8;
wenzelm [Tue, 30 Mar 2010 00:11:41 +0200] rev 36037
adapted to Netbeans 6.8 and Scala for Netbeans 6.8v1.1;
wenzelm [Mon, 29 Mar 2010 22:55:57 +0200] rev 36036
replaced some deprecated methods;
wenzelm [Mon, 29 Mar 2010 22:43:56 +0200] rev 36035
adapted to Scala 2.8.0 Beta1 -- with notable changes to scala.collection;
bulwahn [Mon, 29 Mar 2010 17:30:56 +0200] rev 36034
adding skip_proof in the examples because proof procedure cannot handle alternative compilations yet
bulwahn [Mon, 29 Mar 2010 17:30:55 +0200] rev 36033
tuned