Este repositório foi arquivado em 2020-12-18. Pode ver os ficheiros e cloná-lo, mas não pode fazer envios ou abrir questões/pedidos de integração.

Michael Herzberg f955f2fa56 Fixed long lines and simp lemmas without names.		2020-07-22 22:11:21 +01:00
..
Core_DOM	Fixed long lines and simp lemmas without names.	2020-07-22 22:11:21 +01:00
Core_SC_DOM	Fixed long lines and simp lemmas without names.	2020-07-22 22:11:21 +01:00
CITATION	Initial commit.	2018-12-25 23:47:54 +00:00
ROOTS	Renaming.	2020-04-16 21:28:29 +01:00