| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | auxiliary_files.el | 803 | logplain |
| -rw-r--r-- | feature_extraction_2.el | 50117 | logplain |
| -rw-r--r-- | lemmas.txt | 159708 | logplain |
| -rw-r--r-- | matlab_interaction.el | 28400 | logplain |
| -rw-r--r-- | menus.el | 9502 | logplain |
| -rw-r--r-- | save_lemmas.el | 3857 | logplain |
| -rw-r--r-- | shortcuts.el | 832 | logplain |
| -rw-r--r-- | storage.el | 1422 | logplain |
| -rw-r--r-- | views.txt | 14833 | logplain |
| -rw-r--r-- | weka.el | 3192 | logplain |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |