Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| Comment: | Removed old cruft, simplified (a bit) the central data structure; we have a finit, known in advance set of of quents. |
|---|---|
| Downloads: | Tarball | ZIP archive |
| Timelines: | family | ancestors | descendants | both | schema |
| Files: | files | file ages | folders |
| SHA3-256: |
39d74a1df4048191cb0f13349a47023f |
| User & Date: | rolf 2019-10-19 01:46:42.500 |
Context
|
2019-10-19
| ||
| 12:01 | Removed more no longer used defines. check-in: 0605e10005 user: rolf tags: schema | |
| 01:46 | Removed old cruft, simplified (a bit) the central data structure; we have a finit, known in advance set of of quents. check-in: 39d74a1df4 user: rolf tags: schema | |
| 00:08 | Ensure that the script error of a script evaluated by a schema command pops up to global level. check-in: a15e6f3d24 user: rolf tags: schema | |
Changes
Changes to generic/schema.c.
Changes to generic/schema.h.
Changes to tests/schema.test.