| Mode | Name | Size | |
|---|---|---|---|
| d--------- | \backslashname | 71 | logplain |
| d--------- | depends | 227 | logplain |
| -rw-r--r-- | goal-matching.ML | 183 | logplain |
| -rw-r--r-- | long-line-backslash.ML | 859 | logplain |
| -rw-r--r-- | message-test.ML | 429 | logplain |
| d--------- | multiple | 396 | logplain |
| -rw-r--r-- | settings.ML | 830 | logplain |
| d--------- | thy | 35 | logplain |
| -rw-r--r-- | xsym.ML | 271 | logplain |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |