23 months ago | wenzelm | tuned: prefer iterator.nextOption; | changeset | files |
23 months ago | wenzelm | tuned whitespace and braces; | changeset | files |
23 months ago | wenzelm | clarified signature: more uniform operations; | changeset | files |
23 months ago | wenzelm | tuned signature: reduce boilerplate; | changeset | files |
23 months ago | wenzelm | tuned signature; | changeset | files |
23 months ago | wenzelm | proper clean_build of old data at start of new process --- allow to inspect remains of the last process; | changeset | files |
23 months ago | wenzelm | more database content: formal end_build; | changeset | files |
23 months ago | wenzelm | more operations; | changeset | files |
23 months ago | wenzelm | clarified database content and prepare/init stages; | changeset | files |
23 months ago | wenzelm | tuned signature; | changeset | files |
23 months ago | wenzelm | tuned; | changeset | files |
23 months ago | wenzelm | tuned; | changeset | files |
Loading... |