Revision c206b9035f722ce969cde24cacd05182e6434754 authored by Mohamed Barakat on 08 July 2015, 14:52:28 UTC, committed by Mohamed Barakat on 09 July 2015, 16:29:50 UTC
1 parent e2f711d
| File | Mode | Size |
|---|---|---|
| Involutive.ind | -rw-r--r-- | 136.0 KB |
| Involutive.lib | -rw-r--r-- | 619.3 KB |
| Janet.ind | -rw-r--r-- | 136.0 KB |
| Janet.lib | -rw-r--r-- | 265.0 KB |
| JanetOre.ind | -rw-r--r-- | 136.0 KB |
| JanetOre.lib | -rw-r--r-- | 427.5 KB |
| OreModules.ind | -rw-r--r-- | 136.0 KB |
| OreModules.lib | -rw-r--r-- | 157.8 KB |
| PIR.ind | -rw-r--r-- | 136.0 KB |
| PIR.lib | -rw-r--r-- | 8.0 KB |
| QuillenSuslin.ind | -rw-r--r-- | 136.0 KB |
| QuillenSuslin.lib | -rw-r--r-- | 110.8 KB |
| Stafford.ind | -rw-r--r-- | 136.0 KB |
| Stafford.lib | -rw-r--r-- | 90.1 KB |
| homalg.ind | -rw-r--r-- | 136.0 KB |
| homalg.lib | -rw-r--r-- | 349.2 KB |
| jets.ind | -rw-r--r-- | 136.0 KB |
| jets.lib | -rw-r--r-- | 290.1 KB |
Computing file changes ...
