log

age author description
2022-03-17 Shinji KONO fix filter on subset of Power P
2022-03-17 Shinji KONO ...
2022-03-15 Shinji KONO ...
2022-03-15 Shinji KONO P should be an order structure not Power Ser
2022-03-14 Shinji KONO ...
2022-03-14 Shinji KONO ...
2022-03-14 Shinji KONO ...
2022-03-13 Shinji KONO Generic Filter done
2022-03-13 Shinji KONO ...
2022-03-13 Shinji KONO ...
2022-03-12 Shinji KONO ...
2022-03-10 Shinji KONO close this
2022-03-10 Shinji KONO generic filter does not work
2022-03-09 Shinji KONO ...
2022-03-04 Shinji KONO ...
2022-03-01 Shinji KONO ...
2022-03-01 Shinji KONO give up this generic filter definition
2022-02-26 Shinji KONO ...
2022-02-25 Shinji KONO ⊆-reduction
2022-02-22 Shinji KONO val
2022-02-22 Shinji KONO ...
2022-02-20 Shinji KONO fi;ter1
2022-02-18 Shinji KONO generic filter
2021-09-03 Shinji KONO separate PFOD