mirror of
https://github.com/elua/elua.git
synced 2025-01-25 01:02:54 +08:00
8 lines
230 B
Plaintext
8 lines
230 B
Plaintext
// $$HEADER$$
|
|
Reference manual - Mizar32 platform dependent modules
|
|
-----------------------------------------------------
|
|
|
|
This paragraph presents all the modules specific to the link:status.html[Mizar32] platform.
|
|
|
|
// $$FOOTER$$
|