Wahrscheinlichere Alternative an erster Stelle.
[wortliste.git] / skripte / 
tree43a1e3a366977dbbfee718ded3cf1f5afff957aa
drwxr-xr-x   ..
-rw-r--r-- 729 HOWTO.new-words
-rw-r--r-- 4678 MANIFEST
-rw-r--r-- 3582 apply-pattern.pl
-rw-r--r-- 9480 extract-tex.pl
-rw-r--r-- 311 hyph2wl.sh
-rw-r--r-- 92 log2words.sed
drwxr-xr-x - lua
-rw-r--r-- 2035 make-full-pattern.sh
-rw-r--r-- 178 make-hyphenlist.sh
-rwxr-xr-x 403 merge-wordslists.sh
-rw-r--r-- 31658 newords.lst
-rw-r--r-- 5946 patgen-list-diff.awk
-rw-r--r-- 4405 patgen-list-diff.sh
-rw-r--r-- 467 prepare-wordlist.sh
drwxr-xr-x - python
-rwxr-xr-x 3595 sort.py
-rw-r--r-- 597 strippunct.sed
-rw-r--r-- 3620 validate.lua
-rw-r--r-- 274 words2tex.sed