Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | BUGS | 301 | logplain |
-rw-r--r-- | Makefile | 1112 | logplain |
-rw-r--r-- | README | 1185 | logplain |
-rw-r--r-- | TODOsymbols | 1259 | logplain |
-rw-r--r-- | htmtojargon.awk | 447 | logplain |
-rw-r--r-- | removeetags.pl | 149 | logplain |
-rw-r--r-- | symbols | 6640 | logplain |
-rw-r--r-- | symbolstosed.awk | 98 | logplain |
-rw-r--r-- | xmlcleanup.sed | 494 | logplain |
-rw-r--r-- | xmlcleanup2.sed | 192 | logplain |