| Wed, 20 Aug 2014 11:05:41 +0200 | wenzelm | support for nested Token.src within Token.T; | changeset | files |
| Tue, 19 Aug 2014 23:17:51 +0200 | wenzelm | tuned signature -- moved type src to Token, without aliases; | changeset | files |
| 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 |