Thu, 08 Oct 2020 10:33:38 +0200 | desharna | Fix formatting of default value in help message of "build_e" component. | file | diff | annotate |
Wed, 07 Oct 2020 21:33:07 +0200 | wenzelm | tuned signature; | file | diff | annotate |
Mon, 05 Oct 2020 22:49:46 +0200 | wenzelm | clarified signature; | file | diff | annotate |
Mon, 05 Oct 2020 22:23:17 +0200 | wenzelm | clarified signature; | file | diff | annotate |
Mon, 05 Oct 2020 22:07:25 +0200 | wenzelm | clarified signature; | file | diff | annotate |
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 |