| Sat, 30 Oct 2021 17:10:10 +0200 | wenzelm | tuned proofs -- avoid z3, which is unavailable on arm64-linux; | changeset | files |
| Sat, 30 Oct 2021 13:26:33 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 30 Oct 2021 13:12:22 +0200 | wenzelm | test version of prespective polyml-5.9; | changeset | files |
| Sat, 30 Oct 2021 12:26:56 +0200 | wenzelm | clarified antiquotations; | changeset | files |
| Sat, 30 Oct 2021 12:03:43 +0200 | wenzelm | updated for pre-5.9 testing; | changeset | files |
| Sat, 30 Oct 2021 11:59:41 +0200 | wenzelm | clarified antiquotations; | changeset | files |
| Sat, 30 Oct 2021 11:59:23 +0200 | wenzelm | clarified antiquotations; | changeset | files |
| Fri, 29 Oct 2021 21:06:08 +0200 | wenzelm | clarified antiquotations; | changeset | files |
| Fri, 29 Oct 2021 20:39:16 +0200 | wenzelm | more robust subgoal addressing; | changeset | files |
| Fri, 29 Oct 2021 20:15:59 +0200 | wenzelm | proper subgoal addressing; | changeset | files |
| Fri, 29 Oct 2021 20:04:33 +0200 | wenzelm | clarified antiquotations; | changeset | files |
| Fri, 29 Oct 2021 19:49:11 +0200 | wenzelm | recursive find_eq, not find_dist; | changeset | files |
| Fri, 29 Oct 2021 19:43:32 +0200 | wenzelm | misc tuning and clarification; | changeset | files |
| Fri, 29 Oct 2021 19:17:24 +0200 | wenzelm | clarified antiquotations; | changeset | files |
| Fri, 29 Oct 2021 15:09:46 +0200 | Lukas Stevens | order_tac: prevent potential bug, improve perf and tracing | changeset | files |