Activity
From 29 Aug 2016 to 27 Sep 2016
22 Sep 2016
21 Sep 2016
- 22:08 0.10 hour (Bug #928 (New): ciao, exit, quit can be used not only at top level)
- Some notes
- 22:00 1.00 hour (Feature #927 (Closed): Add "exit" in addition to "ciao")
- Seemingly not too hard
- 21:32 0.10 hour (Feature #927 (Closed): Add "exit" in addition to "ciao")
- Fairly easy but not backward compatible
16 Sep 2016
- 18:22 0.50 hour (Bug #922 (Closed): Release for MacOS: compilation on 10.11 incompatible with 10.6.8)
- 17:56 0.25 hour (Bug #922 (Closed): Release for MacOS: compilation on 10.11 incompatible with 10.6.8)
- 15:57 0.10 hour (Bug #922 (Closed): Release for MacOS: compilation on 10.11 incompatible with 10.6.8)
- Probably useful
- 15:55 0.20 hour (Bug #922 (Closed): Release for MacOS: compilation on 10.11 incompatible with 10.6.8)
- Known problem
07 Sep 2016
05 Sep 2016
- 15:44 0.10 hour (Feature #744 (Closed): Handle interrupts more helpfully)
- Hope this is fairly easy
- 15:40 0.10 hour (Feature #708 (Closed): ExternalLib Normaliz: verbose flag?)
- Quickly fixable?
- 12:39 0.20 hour (Design #478 (Closed): Use of dollar-dot ($.) in packages)
- Closing
02 Sep 2016
- 14:49 0.25 hour (Bug #712 (In Progress): External Libs: missing dependencies in Makefiles)
- Tricky
- 14:18 0.15 hour (Design #478 (Closed): Use of dollar-dot ($.) in packages)
- Variables
- 13:45 0.25 hour (Bug #918 (Closed): UniversalGBasis: sometimes gives error)
- Still fails
01 Sep 2016
- 16:02 1.00 hour (Bug #918 (Closed): UniversalGBasis: sometimes gives error)
- 15:32 0.20 hour (Bug #918 (Closed): UniversalGBasis: sometimes gives error)
- Mild bug?
31 Aug 2016
Also available in: Atom