Project

General

Profile

Spent time

Filters

Apply Clear

Hours: 1.50

Date User Activity Issue Comment Hours
03 Mar 2014 Anna Maria Bigatti Testing Bug #445: EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line) I trust John. Closing 0.25
21 Feb 2014 John Abbott Testing Bug #445: EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line) Seems to work for me 0.25
21 Feb 2014 John Abbott Development Bug #445: EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line) Fixed? 0.25
21 Feb 2014 John Abbott Debugging Bug #445: EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line) Curiouser and curiouser 0.25
19 Feb 2014 John Abbott Debugging Bug #445: EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line) Possible cause 0.50
    (1-5/5)

    Also available in: Atom CSV