Project

General

Profile

Spent time

Filters

Apply Clear

Hours: 3.30

Date User Activity Issue Comment Hours
18 Feb 2022 Anna Maria Bigatti Documentation Feature #1415: thmproving package 0.20
03 Feb 2022 John Abbott Documentation Feature #1415: thmproving package Status? 0.10
12 Oct 2021 John Abbott Development Feature #1415: thmproving package News? 0.10
17 Sep 2020 John Abbott Testing Feature #1415: thmproving package News? 0.10
21 Feb 2020 John Abbott Documentation Feature #1415: thmproving package Needs doc 0.20
19 Feb 2020 John Abbott Documentation Feature #1415: thmproving package To do 0.10
13 Feb 2020 John Abbott Development Feature #1415: thmproving package Code ported 2.50
    (1-7/7)

    Also available in: Atom CSV