Name Last modified Size Parent Directory - moreverb.ins 2026-11-03 04:39 966 moreverb.dtx 2026-11-03 04:39 19K moreverb.pdf 2026-11-03 04:39 180K