Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | BUGS | 289 | logplain |
-rw-r--r-- | Makefile | 912 | logplain |
-rw-r--r-- | htmtojargon.awk | 262 | logplain |
-rw-r--r-- | symbols | 824 | logplain |
-rw-r--r-- | symbolstosed.awk | 98 | logplain |
-rw-r--r-- | xmlcleanup.sed | 552 | logplain |
-rw-r--r-- | xmlcleanup2.sed | 374 | logplain |