Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | _tags | 1188 | logplain |
d--------- | cc | 346 | logplain |
d--------- | dp | 584 | logplain |
d--------- | extraction | 895 | logplain |
d--------- | field | 267 | logplain |
d--------- | firstorder | 543 | logplain |
d--------- | fourier | 245 | logplain |
d--------- | funind | 779 | logplain |
d--------- | groebner | 391 | logplain |
d--------- | interface | 1373 | logplain |
d--------- | micromega | 1063 | logplain |
d--------- | omega | 316 | logplain |
-rw-r--r-- | plugins.itarget | 56 | logplain |
-rw-r--r-- | pluginsbyte.itarget | 667 | logplain |
-rw-r--r-- | pluginsopt.itarget | 692 | logplain |
-rw-r--r-- | pluginsvo.itarget | 1416 | logplain |
d--------- | quote | 156 | logplain |
d--------- | ring | 569 | logplain |
d--------- | romega | 326 | logplain |
d--------- | rtauto | 330 | logplain |
d--------- | setoid_ring | 673 | logplain |
d--------- | subtac | 1127 | logplain |
d--------- | syntax | 562 | logplain |
d--------- | xml | 847 | logplain |