Change propagation updates are pending (3
jobs estimated) and it is recommended to wait with modifications to a category until the process has been finalized to prevent intermediary interruptions or contradictory specifications.
Pages in category "Idris system"
The following 7 pages are in this category, out of 7 total.