| Thu, 17 Dec 2020 15:31:31 +0100 | desharna | tweaked tptp parsing when source info is missing | changeset | files |
| Sun, 20 Dec 2020 22:04:47 +0100 | wenzelm | tuned comments; | changeset | files |
| Sun, 20 Dec 2020 20:49:43 +0100 | wenzelm | merged | changeset | files |
| Sun, 20 Dec 2020 20:14:05 +0100 | wenzelm | proper relative path; | changeset | files |
| Sun, 20 Dec 2020 16:13:30 +0100 | wenzelm | unused; | changeset | files |
| Sun, 20 Dec 2020 15:47:54 +0100 | wenzelm | present auxiliary files with PIDE markup; | changeset | files |
| Sun, 20 Dec 2020 13:20:09 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 20 Dec 2020 12:32:12 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 20 Dec 2020 12:24:41 +0100 | wenzelm | tuned signature: more explicit types; | changeset | files |
| Sat, 19 Dec 2020 15:32:29 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 19 Dec 2020 15:14:01 +0100 | wenzelm | clarified signature and module structure; | changeset | files |
| Sat, 19 Dec 2020 12:05:17 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 19 Dec 2020 11:43:24 +0100 | wenzelm | clarified comments: file-system access is always unsynchronized; | changeset | files |
| Sat, 19 Dec 2020 17:49:14 +0000 | haftmann | more precise simpset for method unat_arith | changeset | files |
| Sat, 19 Dec 2020 09:33:11 +0000 | haftmann | clarified scope of concept | changeset | files |