Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
2017-06-02 | Shinji KONO | fix |
2017-06-02 | Shinji KONO | try two field again |
2017-05-24 | Shinji KONO | on going ... |
2017-05-23 | Shinji KONO | lemma-equ retry |
2017-05-23 | Shinji KONO | dead end |
2017-05-22 | Shinji KONO | fix |
2017-05-21 | Shinji KONO | fix |
2017-05-15 | Shinji KONO | on going .. |
2017-05-14 | Shinji KONO | slid rewrite |
2017-05-14 | Shinji KONO | on going ... |
2017-05-14 | Shinji KONO | dead end |
2017-05-12 | Shinji KONO | fix |
2017-05-12 | Shinji KONO | on going ... |
2017-05-11 | Shinji KONO | on going .. |
2017-05-11 | Shinji KONO | on oging ... |
2017-05-11 | Shinji KONO | cequ introduced |
2017-05-03 | Shinji KONO | anothter approach |
2017-05-03 | Shinji KONO | close |
2017-05-01 | Shinji KONO | another approach |
2017-04-29 | Shinji KONO | to case for equ lemma |
2017-04-28 | Shinji KONO | ... |
2017-04-28 | Shinji KONO | one yelllow |
2017-04-28 | Shinji KONO | dead end |
2017-04-27 | Shinji KONO | sproj approach |
2017-04-27 | Shinji KONO | look like dead end |
2017-04-25 | Shinji KONO | ... |
2017-04-25 | Shinji KONO | fix |
2017-04-24 | Shinji KONO | fix |
2017-04-24 | Shinji KONO | fix |
2017-04-24 | Shinji KONO | yelloow remains |
2017-04-24 | Shinji KONO | lemma-equ |
2017-04-24 | Shinji KONO | last one problem in SetCompleteness |
2017-04-24 | Shinji KONO | on going ... |
2017-04-24 | Shinji KONO | on going ... |
2017-04-24 | Shinji KONO | on going ... |
2017-04-24 | Shinji KONO | on ging ... |
2017-04-23 | Shinji KONO | try id equalizer |
2017-04-10 | Shinji KONO | dead end again ... |
2017-04-10 | Shinji KONO | on going ... |
2017-04-10 | Shinji KONO | on going ... |
2017-04-09 | Shinji KONO | dead end |
2017-04-09 | Shinji KONO | on going ... |
2017-04-09 | Shinji KONO | close |
2017-04-09 | Shinji KONO | give up this approach |
2017-04-09 | Shinji KONO | on going ... |
2017-04-09 | Shinji KONO | equ version on going ... |
2017-04-08 | Shinji KONO | on going ... |
2017-04-08 | Shinji KONO | equalizer approach |
2017-04-05 | Shinji KONO | fix ... |
2017-04-05 | Shinji KONO | close this |
2017-04-05 | Shinji KONO | snmeqeqt |
2017-04-05 | Shinji KONO | fix |
2017-04-04 | Shinji KONO | on going ... |
2017-04-04 | Shinji KONO | on going |
2017-04-01 | Shinji KONO | fix |
2017-04-01 | Shinji KONO | fix |
2017-04-01 | Shinji KONO | fix |
2017-03-31 | Shinji KONO | bad |
2017-03-31 | Shinji KONO | fix |
2017-03-30 | Shinji KONO | on going ... |