Wed, 08 Feb 2017 22:11:37 +0100 | wenzelm | general SQL database support, for SQLite and PostgreSQL; | changeset | files |
Wed, 08 Feb 2017 21:06:47 +0100 | wenzelm | updated; | changeset | files |
Wed, 08 Feb 2017 21:04:18 +0100 | wenzelm | minimal support for PostgreSQL databases; | changeset | files |
Tue, 07 Feb 2017 22:15:07 +0100 | haftmann | elaborated examples for computations | changeset | files |