Sat, 10 Oct 2020 13:32:27 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
Fri, 09 Oct 2020 12:28:04 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 09 Oct 2020 12:01:35 +0200 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
Fri, 09 Oct 2020 11:28:12 +0200 |
wenzelm |
discontinued unused eproof_ram (actually absent in version 2.5);
|
file |
diff |
annotate
|
Fri, 09 Oct 2020 11:26:25 +0200 |
wenzelm |
discontinued obsolete runepar.pl (see 4a3169d8885c);
|
file |
diff |
annotate
|
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
|