Activity
From 28 Aug 2016 to 26 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