Neue Funktionen zur Behandlung von Trennalternativen.
[wortliste.git] / skripte / 
treeaba32f8b181df0bf549c0163f0cd7bd5d842449a
drwxr-xr-x   ..
-rw-r--r-- 725 HOWTO.new-words
-rw-r--r-- 6581 MANIFEST
-rw-r--r-- 3582 apply-pattern.pl
-rw-r--r-- 5877 diff-patgen-input.awk
-rw-r--r-- 5354 diff-patgen-input.sh
-rw-r--r-- 16290 erzeuge-wortliste.pl
-rw-r--r-- 9941 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-- 247 make-hyphenlist.sh
-rwxr-xr-x 403 merge-wordslists.sh
drwxr-xr-x - perl
-rw-r--r-- 631 prepare-wordlist.sh
drwxr-xr-x - python
-rwxr-xr-x 5640 sort.py
-rw-r--r-- 597 strippunct.sed
-rwxr-xr-x 3851 umformatierung.py
-rw-r--r-- 3666 validate.lua
-rw-r--r-- 274 words2tex.sed