2021-03-12 | wenzelm | support for SystemOnTPTP in Isabelle/ML and Isabelle/Scala (without perl); | changeset | files |
2021-03-12 | wenzelm | clarified HTTP.Content: support encoding; | changeset | files |
2021-03-12 | wenzelm | clarified signature: more explicit HTTP operations; | changeset | files |
2021-03-12 | wenzelm | tuned; | changeset | files |
2021-03-12 | wenzelm | more robust; | changeset | files |
2021-03-11 | wenzelm | clarified signature; | changeset | files |
Loading... |