Fri, 01 Jun 2018 15:57:28 +0200 | wenzelm | merged | changeset | files |
Fri, 01 Jun 2018 15:53:35 +0200 | wenzelm | documentation for "isabelle dump"; | changeset | files |
Fri, 01 Jun 2018 11:51:03 +0200 | wenzelm | more dump aspects, with options; | changeset | files |