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 |