Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
t-xesearch.tex 2019-04-24 11:46 664
xesearch.sty 2019-04-24 11:46 31K
xesearch.tex 2019-04-24 11:46 99K
xesearch.pdf 2019-04-24 11:48 575K
README 2019-08-17 15:45 911