Tue, 19 Aug 2014 18:21:29 +0200 | wenzelm | merged | changeset | files |
Tue, 19 Aug 2014 18:11:04 +0200 | wenzelm | clarified modules; | changeset | files |
Tue, 19 Aug 2014 17:00:44 +0200 | wenzelm | added PARALLEL_ALLGOALS convenience; | changeset | files |
Tue, 19 Aug 2014 16:46:07 +0200 | wenzelm | just one context for Method.evaluate (in contrast to a989bdaf8121, but in accordance to old global situation); | changeset | files |
Tue, 19 Aug 2014 16:09:11 +0200 | wenzelm | tuned signature; | changeset | files |
Tue, 19 Aug 2014 15:55:06 +0200 | wenzelm | more compact datatypes; | changeset | files |
Tue, 19 Aug 2014 15:10:37 +0200 | wenzelm | tuned; | changeset | files |