Name Last modified Size Description
Parent Directory -
src/ 30-Sep-2022 02:53 -
DEPENDS.txt 11-Sep-2022 05:20 5
reconf.sh 11-Sep-2022 05:20 130
dvisirule.ins 11-Sep-2022 05:20 139
fonts.tex 11-Sep-2022 05:20 154
demo.tex 11-Sep-2022 05:20 676
cmd.mk 11-Sep-2022 05:20 738
dvisirule-expg.mk 11-Sep-2022 05:20 1.0K
dvisirule-pgnum.awk 11-Sep-2022 05:20 1.2K
dvisirule-marker.awk 11-Sep-2022 05:20 2.1K
Makefile 11-Sep-2022 05:20 2.3K
README.md 11-Sep-2022 05:20 3.3K
dvisirule.sh 11-Sep-2022 05:20 3.5K
dvisirule.dtx 11-Sep-2022 05:20 15K
LICENSE 11-Sep-2022 05:20 18K
dvisirule.pdf 30-Sep-2022 02:53 59K
Apache/2.2 Server at ftp.ntua.gr Port 80