Name Last modified Size Description Parent Directory - moreverb.dtx 2026-11-02 19:39 19K moreverb.ins 2026-11-02 19:39 966 moreverb.pdf 2026-11-02 19:39 180K README.md 2026-11-02 19:39 564