Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | 1849734.input | 152 | logplain |
-rw-r--r-- | 1852076.input | 74 | logplain |
-rw-r--r-- | aw-272.input | 191 | logplain |
-rw-r--r-- | case.input | 87 | logplain |
-rw-r--r-- | case.spad | 235 | logplain |
-rw-r--r-- | eval-dep-type.input | 32 | logplain |
-rw-r--r-- | testSyntax.input | 97 | logplain |
-rw-r--r-- | testSyntax.spad | 1284 | logplain |