| Sun, 20 May 2018 20:14:30 +0100 | paulson | one last fix | changeset | files |
| Sun, 20 May 2018 18:37:34 +0100 | paulson | tidy up of Derivative | changeset | files |
| Sun, 20 May 2018 22:04:46 +0200 | wenzelm | avoid undeclared frees; | changeset | files |
| Sun, 20 May 2018 22:04:17 +0200 | wenzelm | removed junk; | changeset | files |
| Sun, 20 May 2018 21:12:23 +0200 | wenzelm | avoid dangling tfrees; | changeset | files |
| Sun, 20 May 2018 20:37:11 +0200 | wenzelm | standardize implicit variables: non-zero indexes do occur occasionally, e.g. via RS; | changeset | files |
| Sun, 20 May 2018 20:31:40 +0200 | wenzelm | tuned signature; | changeset | files |
| Sun, 20 May 2018 18:45:18 +0200 | wenzelm | avoid undeclared frees; | changeset | files |
| Sun, 20 May 2018 16:25:27 +0200 | wenzelm | export facts; | changeset | files |
| Sun, 20 May 2018 15:37:16 +0200 | wenzelm | clarified encoding; | changeset | files |
| Sun, 20 May 2018 15:28:59 +0200 | wenzelm | more scalable; | changeset | files |
| Sun, 20 May 2018 15:24:53 +0200 | wenzelm | tuned output; | changeset | files |
| Sun, 20 May 2018 15:05:45 +0200 | wenzelm | more scalable; | changeset | files |
| Sun, 20 May 2018 15:05:17 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 20 May 2018 12:29:51 +0200 | wenzelm | support HTTPS; | changeset | files |
| Sun, 20 May 2018 12:05:44 +0200 | wenzelm | updated to scala-2.12.6; | changeset | files |