Activity
From 02 Sep 2016 to 01 Oct 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
Also available in: Atom