extensions by Codex

This commit is contained in:
Krasimir Angelov committed 2026-10-21 19:45:21 +02:00
1 parent f74ee6660b
commit 933045a138
33 files changed
+718 -161

No files matched your search

+1 -1
View File
@@ -2,5 +2,5 @@
concrete AllHin of AllHinAbs =
LangHin,
ExtendHin
ExtendHin -- # notpresent
** open ExtraHin in {} ;