![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/script.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| capitalize-ligatures | 2002-01-16 13:19 | 1.5K | |
| tex-format-word-freq..> | 2002-01-16 13:36 | 2.5K | |
| tex_format_word_freq..> | 2002-01-16 13:36 | 2.5K | |
| update-paper-include | 2012-05-05 13:23 | 1.5K | |
| get-top-words.sh | 2012-05-05 14:42 | 846 | |
| get_top_words.sh | 2012-05-05 14:42 | 846 | |
| get-top-words-per-se..> | 2012-05-05 14:59 | 1.0K | |
| get_top_words_per_se..> | 2012-05-05 14:59 | 1.0K | |
| tex-format-word-freq..> | 2025-04-29 20:47 | 3.2K | |
| tex_format_word_freq..> | 2025-04-29 20:47 | 3.2K | |
| compute-cum-freqs | 2025-04-29 20:58 | 909 | |
| dat/ | 2025-04-29 22:20 | - | |
| get-bot-words.sh | 2025-04-29 22:34 | 896 | |
| get_bot_words.sh | 2025-04-29 22:34 | 896 | |
| JUNK/ | 2025-04-29 22:35 | - | |
| exp/ | 2025-05-01 15:28 | - | |
| Note-102.txt | 2025-05-02 17:14 | 3.6K | |
| make-tex-top-words-b..> | 2025-05-02 17:17 | 1.1K | |
| make_tex_top_words_b..> | 2025-05-02 17:17 | 1.1K | |
| work/ | 2025-05-04 07:56 | - | |