Revision f4b94e8a6f90413abd0bf7ef62285855cd459df0 authored by Pierre-Yves Strub on 16 December 2015, 18:06:01 UTC, committed by Pierre-Yves Strub on 16 December 2015, 18:07:43 UTC
- `move=> _` does a late clear - `move=> ?` does an anonymous (_) intro This is currently not enabled by default. The option `oldip` has first to be cleared (`pragma -oldip`)
1 parent 65269da
| File | Mode | Size |
|---|---|---|
| Bigalg.ec | -rw-r--r-- | 7.3 KB |
| Bigop.eca | -rw-r--r-- | 18.2 KB |
| Binomial.ec | -rw-r--r-- | 1.8 KB |
| IRing.ec | -rw-r--r-- | 914 bytes |
| IntDiv.ec | -rw-r--r-- | 16.7 KB |
| Monoid.eca | -rw-r--r-- | 1.4 KB |
| Number.ec | -rw-r--r-- | 40.0 KB |
| Perms.ec | -rw-r--r-- | 4.6 KB |
| Ring.ec | -rw-r--r-- | 17.9 KB |
| StdBigop.ec | -rw-r--r-- | 5.5 KB |
| StdOrder.ec | -rw-r--r-- | 1.8 KB |
| StdRing.ec | -rw-r--r-- | 2.2 KB |
| ZModP.eca | -rw-r--r-- | 4.4 KB |
Computing file changes ...
