Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .dir-locals.el | 287 | logplain |
d--------- | btauto | 278 | logplain |
d--------- | cc | 347 | logplain |
d--------- | derive | 237 | logplain |
d--------- | extraction | 1782 | logplain |
d--------- | firstorder | 544 | logplain |
d--------- | fourier | 284 | logplain |
d--------- | funind | 902 | logplain |
d--------- | ltac | 2005 | logplain |
d--------- | micromega | 1278 | logplain |
d--------- | nsatz | 455 | logplain |
d--------- | omega | 396 | logplain |
d--------- | quote | 195 | logplain |
d--------- | romega | 365 | logplain |
d--------- | rtauto | 369 | logplain |
d--------- | setoid_ring | 1193 | logplain |
d--------- | ssrmatching | 218 | logplain |
d--------- | syntax | 568 | logplain |
d--------- | xml | 34 | logplain |