| Tue, 17 Nov 2020 22:05:59 +0100 | wenzelm | more uniform Resources.init_session via YXML; | changeset | files |
| Tue, 17 Nov 2020 16:54:49 +0100 | wenzelm | proper link for Pure; | changeset | files |
| Tue, 17 Nov 2020 16:48:18 +0100 | wenzelm | proper link location; | changeset | files |
| Tue, 17 Nov 2020 16:34:01 +0100 | wenzelm | clarified access to single database server vs. collection of database files; | changeset | files |
| Tue, 17 Nov 2020 09:57:37 +0000 | paulson | merged | changeset | files |
| Tue, 17 Nov 2020 09:57:25 +0000 | paulson | Multiplicative_Group now required due to Algebra restructuring | changeset | files |
| Mon, 16 Nov 2020 21:37:32 +0000 | paulson | merged | changeset | files |