Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
luabidi-arabmaths.def 2023-10-02 07:58 454
luabidi-autofootnoterule.def 2023-10-02 07:58 1.5K
luabidi-footnotes.def 2023-10-02 07:58 2.1K
luabidi.sty 2023-10-02 07:58 2.8K