Activity
From 10 Sep 2013 to 09 Oct 2013
09 Oct 2013
- 18:09 0.25 hour (Feature #91 (Closed): Return type & name for "indets" of a PP)
- Name suggestions
05 Oct 2013
- 11:09 0.50 hour (Feature #91 (Closed): Return type & name for "indets" of a PP)
- Easy to transfer to CoCoA-5
11 Sep 2013
- 16:14 0.25 hour (Bug #389 (Closed): problem loading library.H (parallel make -j4))
- Fake progress
Also available in: Atom