Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | avg.svg | 42197 | logplain |
-rw-r--r-- | cuts.svg | 78438 | logplain |
-rw-r--r-- | cuts_diff.svg | 78890 | logplain |
-rw-r--r-- | film.dia | 2714 | logplain |
-rw-r--r-- | findcut.svg | 42505 | logplain |
-rw-r--r-- | overlap.svg | 25977 | logplain |
-rw-r--r-- | overlap_problem.dia | 1257 | logplain |
-rw-r--r-- | overlap_tool.dia | 934 | logplain |
-rw-r--r-- | overlap_tool_2.dia | 1257 | logplain |
-rw-r--r-- | stack.dia | 1637 | logplain |