DCS-Mirror
/
Andley_OGNTa
mirror of https://git.door43.org/Andley/OGNTa
2
0
Fork 0
Files Issues Releases Wiki Activity See in Reader
Andley_OGNTa/tmp
History
Andley Chang 789eaabfe5 revoke E(either middle or passive) back to Voice 2023-09-04 06:33:11 +08:00
..
OGNTa-Ruby+CUV.nt revoke E(either middle or passive) back to Voice 2023-09-04 06:33:11 +08:00
OGNTa-Ruby.nt revoke E(either middle or passive) back to Voice 2023-09-04 06:33:11 +08:00
OGNTa-TC-Ruby.nt revoke E(either middle or passive) back to Voice 2023-09-04 06:33:11 +08:00
OGNTa-TC-marked.txt revoke E(either middle or passive) back to Voice 2023-09-04 06:33:11 +08:00
OGNTa-TC.nt fix some lemmas 2022-06-29 17:00:59 +08:00
OGNTa-WordEQ.nt revoke E(either middle or passive) back to Voice 2023-09-04 06:33:11 +08:00
OGNTa-marked.txt revoke E(either middle or passive) back to Voice 2023-09-04 06:33:11 +08:00