| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | auxiliary_files.el | 803 | logplain |
| -rw-r--r-- | feature_extraction.el | 30066 | logplain |
| -rw-r--r-- | lemmas.txt | 159708 | logplain |
| -rw-r--r-- | matlab_interaction.el | 27579 | logplain |
| -rw-r--r-- | menus.el | 9278 | logplain |
| -rw-r--r-- | save_lemmas.el | 3779 | logplain |
| -rw-r--r-- | shortcuts.el | 832 | logplain |
| -rw-r--r-- | storage.el | 1398 | logplain |
| -rw-r--r-- | views.txt | 14833 | logplain |
| -rw-r--r-- | weka.el | 2319 | logplain |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |