| Wed, 13 Nov 2024 23:10:58 +0100 | nipkow | added field input_eqns to record the list of equations (the specification) | file | diff | annotate |
| Wed, 20 Oct 2021 18:13:17 +0200 | wenzelm | discontinued obsolete "val extend = I" for data slots; | file | diff | annotate |
| Thu, 28 Nov 2019 18:13:23 +0100 | wenzelm | more structural integrity; | file | diff | annotate |