Project

General

Profile

Spent time

Filters

Apply Clear

Hours: 29.00

Date User Activity Issue Comment Hours
15 Dec 2017 Anna Maria Bigatti Documentation Feature #1090: ExternaLib-MathSAT: first prototype 0.50
15 Dec 2017 Anna Maria Bigatti Documentation Feature #1090: ExternaLib-MathSAT: first prototype 1.00
15 Dec 2017 Anna Maria Bigatti Development Feature #1090: ExternaLib-MathSAT: first prototype 0.50
09 Nov 2017 Anna Maria Bigatti Documentation Feature #1090: ExternaLib-MathSAT: first prototype 1.00
14 Jul 2017 Anna Maria Bigatti Design Feature #1090: ExternaLib-MathSAT: first prototype 4.00
12 Jul 2017 Anna Maria Bigatti Development Feature #1090: ExternaLib-MathSAT: first prototype 6.00
12 Jul 2017 Anna Maria Bigatti Design Feature #1090: ExternaLib-MathSAT: first prototype first session with Alberto Griggio in Genova: beginning 2017 16.00
    (1-7/7)

    Also available in: Atom CSV