Mon, 05 Oct 2020 21:15:58 +0200 | wenzelm | clarified signature; | file | diff | annotate |
Sat, 03 Oct 2020 14:06:00 +0200 | wenzelm | proper usage; | file | diff | annotate |
Fri, 02 Oct 2020 23:15:37 +0200 | wenzelm | clarified installed files; | file | diff | annotate |
Fri, 02 Oct 2020 22:59:30 +0200 | wenzelm | build Isabelle E prover component from official downloads; | file | diff | annotate |