Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | BUGS | 301 | logplain |
-rw-r--r-- | Makefile | 1085 | logplain |
-rw-r--r-- | README | 1032 | logplain |
-rw-r--r-- | htmtojargon.awk | 447 | logplain |
-rw-r--r-- | removeetags.pl | 149 | logplain |
-rw-r--r-- | symbols | 824 | logplain |
-rw-r--r-- | symbolstosed.awk | 98 | logplain |
-rw-r--r-- | xmlcleanup.sed | 494 | logplain |
-rw-r--r-- | xmlcleanup2.sed | 192 | logplain |