| Tue, 30 Jul 2019 13:22:29 +0200 |
wenzelm |
tuned -- fewer warnings;
|
file |
diff |
annotate
|
| Tue, 30 Jul 2019 13:19:14 +0200 |
wenzelm |
discontinued pointless messages;
|
file |
diff |
annotate
|
| Tue, 30 Jul 2019 11:41:39 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 29 Jul 2019 11:09:37 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 29 Jul 2019 10:26:12 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 27 Jul 2019 12:06:38 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 26 Jul 2019 15:29:10 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 26 Jul 2019 14:43:56 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 26 Jul 2019 09:35:02 +0200 |
wenzelm |
defer rew_proof on unnamed PThm node as open_proof operation: significant performance improvement;
|
file |
diff |
annotate
|
| Tue, 23 Jul 2019 19:04:56 +0200 |
wenzelm |
clarified treatment of unnamed PThm nodes (from close_derivation): retain full proof, publish when named;
|
file |
diff |
annotate
|
| Mon, 22 Jul 2019 21:55:02 +0200 |
wenzelm |
tuned comments -- proper sections;
|
file |
diff |
annotate
|
| Thu, 03 Jan 2019 14:12:44 +0100 |
wenzelm |
clarified signature: more types;
|
file |
diff |
annotate
|