Project

General

Profile

Spent time

Filters

Apply Clear

Hours: 1.30

Date User Activity Issue Comment Hours
15 Apr 2014 John Abbott Testing Feature #138: Automatic conversion from bool3 to bool? Overhead 0.25
07 Apr 2014 John Abbott Design Feature #138: Automatic conversion from bool3 to bool? Already done; conclusion 0.25
04 May 2012 John Abbott Development Feature #138: Automatic conversion from bool3 to bool? Modified Openmath 0.30
27 Apr 2012 Anna Maria Bigatti Design Feature #138: Automatic conversion from bool3 to bool? discussion 0.50
    (1-4/4)

    Also available in: Atom CSV