Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | hvextern-context.cfg | 719 | logplain |
-rw-r--r-- | hvextern-latex.cfg | 1288 | logplain |
-rw-r--r-- | hvextern-lua.cfg | 699 | logplain |
-rw-r--r-- | hvextern-mp.cfg | 1291 | logplain |
-rw-r--r-- | hvextern-pl.cfg | 725 | logplain |
-rw-r--r-- | hvextern-py.cfg | 917 | logplain |
-rw-r--r-- | hvextern-tex.cfg | 1122 | logplain |
-rw-r--r-- | hvextern.sty | 14137 | logplain |